| RTL到门级网表的等价性验证方法 |
| 田素雷;刘海龙;刘淑涛; |
| 关键词：等价性验证;RTL-Gate;ASIC |
| 主要内容：等价性验证在ASIC设计中的应用愈发广泛。等价性验证不需要测试向量,能够判断修改前后两个设计功能是否一致,还可以发现设计中的缺陷。针对等价性验证出现的问题,本文重点分析了验证失败的原因以及对应的解决办法,消除了网表使用寄存器QN端以及RTL |
| 《中国集成电路》 2015,24(03):22-25+60 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号