1804-2017

Fault Accounting and Coverage Reporting (FACR) for Digital Modules (IEEE Computer Society)


 

 

非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 1804-2017 前三页,或者稍后再访问。

如果您需要购买此标准的全文,请联系:

点击下载后,生成下载文件时间比较长,请耐心等待......

 

标准号
1804-2017
发布
2017年
发布单位
IEEE - The Institute of Electrical and Electronics Engineers@ Inc.
 
 
适用范围
This standard formalizes aspects of the stuck-at fault model as they are relevant to the generation of test patterns for digital circuits. Its scope includes a) fault counting@ b) fault classification@ and c) fault coverage reporting across different automatic test pattern generation (ATPG) tools@ for the single stuck-at fault model. Fault grading and simulation is limited to the Verilog gate level representation of a digital circuit. With this standard@ it shall be incumbent on all ATPG tools (that comply with this standard) to report fault coverage in a uniform way. This can facilitate the generation of a uniform coverage (and hence a test quality) metric for large chips with different cores and modules@ for which test patterns have been independently generated using an ATPG tool@ or have been supplied externally and have been simulated using an ATPG tool to ascertain the fault coverage. Purpose Digital circuits have various structural representations either in high-level hardware description languages (HDLs)@ which can then be synthesized@ or in netlist forms. Commercial tools today for ATPG@ using algorithmic techniques@ operate on a structural netlist of the design under test (DUT). The test quality signoff process mandatorily includes a minimal coverage requirement@ to be obtained using these ATPG tool generated patterns on the DUT. This motivates the need for standard processes for: a) counting faults across different fault models b) classifying these faults c) reporting the coverage across different ATPG tools that are used to generate test patterns for these digital circuits Such standard processes should enable test qualification based on ATPG tool generated patterns and based upon fault coverage metrics in a uniform way and independent of the ATPG tool used. A uniform fault coverage and pattern count based metric can now be generated for large chips with complex functionality. Such metrics are commonly used in today??s system-on-chips (SOCs) with a heterogeneous mix of modules therein@ often consisting of intellectual property (IP) cores (which are often sourced from design teams different from those designing the chips themselves)@ and test patterns which are generated using different ATPG tools. This points to the need for such a standard. This standard can help to build consensus among the chip designers@ tool vendors@ and end customers of integrated circuits. The coverage metrics reported by the designers shall be consistent across all tools. Coverage requirements set by the customers can now also be uniformly targeted by the designers@ independent of the ATPG tool used. The standard can also help in merging coverage reports from different tools when different IPs are integrated into an SOC. In the first version of this standard@ only the classical stuck-at fault model is considered. The following are outside the scope of this document: ?? Standards on ATPG algorithms@ ATPG efficiency (speed@ memory)@ fault grading efficiency@ fault models other than the stuck-at fault model@ and test vector compaction ?? Standards on how a gate-level netlist is created for a design

1804-2017相似标准





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号