Extraction error analysis, diagnosis and correction in custom-made high-performance designs

Test model generation is crucial in the test generation process of a high-performance design. A key process in test model generation extracts a gate-level (logic) model from the transistor level representation of the circuit under test. Due to the limitation of the extraction tools and human interference, logic extraction may introduce errors. Such errors require a resource intensive and time consuming manual process to debug. We present a set of extraction errors typical in an industrial environment. It also proposes an automated solution to extraction error diagnosis and correction. Experiments on circuits with architecture similar to high speed custom-made industrial blocks confirm the fitness of the approach.

[1]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .

[2]  Janak H. Patel,et al.  New Techniques for Deterministic Test Pattern Generation , 1999, J. Electron. Test..

[3]  Masahiro Fujita,et al.  Modeling the unknown! Towards model-independent fault and error diagnosis , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[4]  W. Kent Fuchs,et al.  A deductive technique for diagnosis of bridging faults , 1997, ICCAD 1997.

[5]  Shi-Yu Huang Towards the logic defect diagnosis for partial-scan designs , 2001, Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455).

[6]  Hiroshi Takahashi,et al.  Incremental diagnosis of multiple open-interconnects , 2002, Proceedings. International Test Conference.

[7]  Robert C. Aitken Modeling the Unmodelable: Algorithmic Fault Diagnosis , 1997, IEEE Des. Test Comput..

[8]  Jan M. Rabaey,et al.  Digital Integrated Circuits: A Design Perspective , 1995 .

[9]  Thomas J. Snethen,et al.  Microprocessor test and test tool methodology for the 500 MHz IBM S/390 G5 chip , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[10]  Andreas G. Veneris,et al.  Incremental diagnosis and correction of multiple faults and errors , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.