基于复杂门固有故障(GIF-PO)的新型RTL ATPG模型
硬件体系结构
2016-12-16 v1
摘要
本文首先对RTL ATPG进行了全面综述。然后提出了一种基于“门固有故障”（GIF）的新型RTL ATPG模型。这些GIF分别从RTL源代码的每个复杂门（加法器、case语句等）中提取。它们与复杂门的内部逻辑路径相关，而与RTL设计中的任何网表/信号无关。观察到，当RTL上所有GIF被覆盖（100%）并施加相同激励时，网表的所有门级固定型故障（stuck-at faults）也被覆盖（100%）。因此，所提出的RTL ATPG模型与综合无关。这在ITC'99测试集上得到展示。所应用的半自动测试模式生成过程基于功能仿真。
引用
@article{arxiv.1612.05166,
title = {A Novel RTL ATPG Model Based on Gate Inherent Faults (GIF-PO) of Complex Gates},
author = {Tobias Strauch},
journal= {arXiv preprint arXiv:1612.05166},
year = {2016}
}