技术报告：用于ATPG的寄存器传输级功能约束提取
硬件体系结构
2013-10-02 v1
摘要
我们在已提交给TVLSI的论文“用于ATPG的寄存器传输级功能约束提取”中提出了一种可应用于RT级的自动功能约束提取器。这些功能约束用于通过ATPG工具生成伪功能测试模式。这些模式随后用于改进验证过程。本技术报告是对该工作的补充，因为它包含了所提出方法的实现细节，并展示了该方法在一个具体示例上应用的详细中间和最终结果。
引用
@article{arxiv.1310.0100,
title = {Technical report: Functional Constraint Extraction From Register Transfer Level for ATPG},
author = {Christelle Hobeika and Claude Thibeault and Jean-François Boland},
journal= {arXiv preprint arXiv:1310.0100},
year = {2013}
}