RTL到门级网表的等价性验证方法

• 作者: 刘海龙 刘淑涛 田素雷
• 来源期刊: 中国集成电路
• 关键词: 等价性验证 RTL-Gate ASIC
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 设计
• 页码范围: 22-25,60
• 页数: 5页
• 字数: 2585字
• 语种: 中文

摘要

等价性验证在ASIC设计中的应用愈发广泛.等价性验证不需要测试向量,能够判断修改前后两个设计功能是否一致,还可以发现设计中的缺陷.针对等价性验证出现的问题,本文重点分析了验证失败的原因以及对应的解决办法,消除了网表使用寄存器QN端以及RTL冗余寄存器引起的验证问题.项目实践表明上述方法在等价性验证中是行之有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田素雷		7	34	2.0	5.0
2	刘淑涛		3	5	1.0	2.0
3	刘海龙		4	9	2.0	3.0