Home

引用本文:

本文已被：浏览 889次下载 934次
分享到：微信更多字体:加大+\|默认\|缩小-
一种在RTL测试模式生成中验证断言再用的方法(英文)
马克西姆捷尼赫尼; 捷安瑞克; 莱穆德俄巴尔; 塔维维卢卡斯; 藤原秀雄^1,2
1.塔林工学院计算机工程系;2.奈良科技研究所信息科学研究生院

摘要:

在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果.

关键词: 寄存器传输层自动测试码生成程序断言无扫描设计

DOI：

分类号:

基金项目:国家级基金

Abstract:

Key words: