论文研究-基于断言的验证方法在模块级验证中的应用 .pdf

【文件属性】：
文件名称：论文研究-基于断言的验证方法在模块级验证中的应用 .pdf
文件大小：325KB
文件格式：PDF
更新时间：2022-09-10 08:30:28
集成电路 基于断言的验证方法在模块级验证中的应用，顾冲，贺光辉，本文以AHB Arbiter的验证为例，介绍了一种在模块级上比传统IC验证方法效率更高的验证方法--基于断言的验证，这种验证方法使一些原先难