Abstract
A concolic approach, called SLEC-CF, to check sequential equivalence between a high-level (e.g., C++/SystemC) hardware description and an RTL (e.g., V......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
