rt级测试点插入顺序电路

J. Raik, V. Govind, R. Ubar
{"title":"rt级测试点插入顺序电路","authors":"J. Raik, V. Govind, R. Ubar","doi":"10.1109/IWOTA.2004.1428412","DOIUrl":null,"url":null,"abstract":"The current paper presents a new, coarse-grain method for test point insertion performed at the RT-level. The method relies on inserting testability components to the RTL VHDL description of the design. The approach is based on non-classical, simplified concept of controllability and observability. The insertion takes place based on the list of uncontrollable and unobservable faults obtained by a sequential ATPG. Such interaction with an ATPG and resynthesis of the device after each test structure insertion would be very time-consuming. The proposed method solves its task with just three iterations. First, a testability analysis is carried out and controllability structures are inserted to the modules containing uncontrollable faults. Then, the circuit is resynthesized and the ATPG is run. Second, the observability structures are added to the modules, with remaining unobservable faults. Finally, after resynthesis and an ATPG run the overhead area is minimized by removing observability structures from blocks, where there was no increase in fault coverage. A synthesizable VHDL library of dedicated generic components for testability structures has been implemented. Experiments on six RTL benchmarks show the efficiency of the approach.","PeriodicalId":120954,"journal":{"name":"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.","volume":"186 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"RT-level test point insertion for sequential circuits\",\"authors\":\"J. Raik, V. Govind, R. Ubar\",\"doi\":\"10.1109/IWOTA.2004.1428412\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The current paper presents a new, coarse-grain method for test point insertion performed at the RT-level. The method relies on inserting testability components to the RTL VHDL description of the design. The approach is based on non-classical, simplified concept of controllability and observability. The insertion takes place based on the list of uncontrollable and unobservable faults obtained by a sequential ATPG. Such interaction with an ATPG and resynthesis of the device after each test structure insertion would be very time-consuming. The proposed method solves its task with just three iterations. First, a testability analysis is carried out and controllability structures are inserted to the modules containing uncontrollable faults. Then, the circuit is resynthesized and the ATPG is run. Second, the observability structures are added to the modules, with remaining unobservable faults. Finally, after resynthesis and an ATPG run the overhead area is minimized by removing observability structures from blocks, where there was no increase in fault coverage. A synthesizable VHDL library of dedicated generic components for testability structures has been implemented. Experiments on six RTL benchmarks show the efficiency of the approach.\",\"PeriodicalId\":120954,\"journal\":{\"name\":\"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.\",\"volume\":\"186 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-11-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWOTA.2004.1428412\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWOTA.2004.1428412","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

摘要

本文提出了一种新的粗粒度方法,用于在rt水平上插入测试点。该方法依赖于在设计的RTL VHDL描述中插入可测试性组件。该方法基于非经典、简化的可控性和可观测性概念。插入是根据顺序ATPG获得的不可控和不可观察故障列表进行的。这种与ATPG的相互作用以及每次插入测试结构后设备的重新合成将非常耗时。所提出的方法只用三次迭代就解决了它的任务。首先,对包含不可控故障的模块进行可测性分析,并在模块中插入可控结构。然后,重新合成电路并运行ATPG。其次,将可观测结构添加到模块中,保留不可观测故障。最后,在重新合成和ATPG运行之后,通过从区块中去除可观测结构,使架空区域最小化,而这些区块的故障覆盖率没有增加。一个可合成的VHDL库专用通用组件的可测试性结构已经实现。在六个RTL基准测试上的实验表明了该方法的有效性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
RT-level test point insertion for sequential circuits
The current paper presents a new, coarse-grain method for test point insertion performed at the RT-level. The method relies on inserting testability components to the RTL VHDL description of the design. The approach is based on non-classical, simplified concept of controllability and observability. The insertion takes place based on the list of uncontrollable and unobservable faults obtained by a sequential ATPG. Such interaction with an ATPG and resynthesis of the device after each test structure insertion would be very time-consuming. The proposed method solves its task with just three iterations. First, a testability analysis is carried out and controllability structures are inserted to the modules containing uncontrollable faults. Then, the circuit is resynthesized and the ATPG is run. Second, the observability structures are added to the modules, with remaining unobservable faults. Finally, after resynthesis and an ATPG run the overhead area is minimized by removing observability structures from blocks, where there was no increase in fault coverage. A synthesizable VHDL library of dedicated generic components for testability structures has been implemented. Experiments on six RTL benchmarks show the efficiency of the approach.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信