中国集成电路
中國集成電路
중국집성전로
CHINA INTEGRATED CIRCUIT
2015年
3期
22-25,60
,共5页
等价性验证%RTL-Gate%ASIC
等價性驗證%RTL-Gate%ASIC
등개성험증%RTL-Gate%ASIC
等价性验证在ASIC设计中的应用愈发广泛.等价性验证不需要测试向量,能够判断修改前后两个设计功能是否一致,还可以发现设计中的缺陷.针对等价性验证出现的问题,本文重点分析了验证失败的原因以及对应的解决办法,消除了网表使用寄存器QN端以及RTL冗余寄存器引起的验证问题.项目实践表明上述方法在等价性验证中是行之有效的.
等價性驗證在ASIC設計中的應用愈髮廣汎.等價性驗證不需要測試嚮量,能夠判斷脩改前後兩箇設計功能是否一緻,還可以髮現設計中的缺陷.針對等價性驗證齣現的問題,本文重點分析瞭驗證失敗的原因以及對應的解決辦法,消除瞭網錶使用寄存器QN耑以及RTL冗餘寄存器引起的驗證問題.項目實踐錶明上述方法在等價性驗證中是行之有效的.
등개성험증재ASIC설계중적응용유발엄범.등개성험증불수요측시향량,능구판단수개전후량개설계공능시부일치,환가이발현설계중적결함.침대등개성험증출현적문제,본문중점분석료험증실패적원인이급대응적해결판법,소제료망표사용기존기QN단이급RTL용여기존기인기적험증문제.항목실천표명상술방법재등개성험증중시행지유효적.