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

【文件属性】：

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

文件大小：325KB

文件格式：PDF

更新时间：2022-09-10 08:30:28

集成电路

基于断言的验证方法在模块级验证中的应用，顾冲，贺光辉，本文以AHB Arbiter的验证为例，介绍了一种在模块级上比传统IC验证方法效率更高的验证方法--基于断言的验证，这种验证方法使一些原先难