We proposed in "Functional Constraint Extraction From Register Transfer Level for ATPG" that is currently submitted to TVLSI, an automatic functional constraint extractor that can be applied on the RT level. These functional constraints are used to generate pseudo functional test patterns with ATPG tools. The patterns are then used to improve the verification process. This technical report complements the work proposed as it contains the implementation details of the proposed methodology and shows the detailed intermediate and final results of the application of this methodology on a concrete example.
翻译:我们在“ATPG从登记册上进行功能约束性抽取”中提议,目前提交给TVLSI,这是一个可适用于RTS的自动功能限制提取器。这些功能限制被用来用ATPG工具生成假功能测试模式。然后这些模式被用来改进核查进程。本技术报告补充了拟议工作,因为它载有拟议方法的实施细节,并展示了在具体实例中应用这一方法的详细中期和最后结果。