Modeling Custom Digital Circuits for Test

Models meant for logic verification and simulation are often used for Automatic Test Pattern Generation (ATPG). For custom digital circuits, these models contain many tristate devices that tend to lower coverage for stuck-faults. Additionally, these tristate devices contribute to increased ATPG runtimes, fewer generated test sequences, and an overall lower test quality. The circuit under test is partitioned into channel connected sub-networks (CCSN) that consist of transistors that are connected at their source or drain terminals, except when these terminals are power, ground or primary inputs. Unlike other published work, algorithms presented in this paper analyze each CCSN in the context of its environment, thereby capturing the logical relationships among its input signals. Other algorithms presented include identification and modeling of embedded latches, clock generators and memory circuits. An abstract array model for memory that reduces the size of the model and increases simulation speed is also presented. When one specific feature of the algorithm was disabled, experimental results showed higher ATPG runtimes of about 35%, and an average decrease in fault coverage of around 15–20%. For the largest data cache, the memory modeling algorithm decreased the number of primitives from 1.23 million to 139 thousand.

[1]  John P. Hayes,et al.  Pseudo-Boolean Logic Circuits , 1986, IEEE Transactions on Computers.

[2]  Kozo Kinoshita,et al.  Test Generation for Scan Design Circuits with Tri-State Modules and Bidirectional Terminals , 1983, 20th Design Automation Conference Proceedings.

[3]  Melvin A. Breuer,et al.  SWiTEST: a switch level test generation system for CMOS combinational circuits , 1992, DAC '92.

[4]  Sandip Kundu GateMaker: a transistor to gate level model extractor for simulation, automatic test pattern generation and verification , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[5]  Randal E. Bryant,et al.  Mapping switch-level simulation onto gate-level hardware accelerators , 1991, 28th ACM/IEEE Design Automation Conference.

[6]  Srimat T. Chakradhar,et al.  Redundancy removal and test generation for circuits with non-Boolean primitives , 1995, Proceedings 13th IEEE VLSI Test Symposium.

[7]  Sharad C. Seth,et al.  A switch-level test generation system for synchronous and asynchronous circuits , 1995, J. Electron. Test..

[8]  Soumitra Bose,et al.  Extraction of schematic array models for memory circuits , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[9]  Randal E. Bryant Extraction of gate level models from transistor circuits by four-valued symbolic analysis , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[10]  Peter Wohl,et al.  Test generation for ultra-large circuits using ATPG constraints and test-pattern templates , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[11]  Randal E. Bryant,et al.  A Switch-Level Model and Simulator for MOS Digital Systems , 1984, IEEE Transactions on Computers.

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

[13]  Randal E. Bryant,et al.  Algorithmic Aspects of Symbolic Switch Network Analysis , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Prabhakar Goel,et al.  An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits , 1981, IEEE Transactions on Computers.

[15]  Melvin A. Breuer,et al.  An integrated system for assigning signal flow directions to CMOS transistors , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[16]  Hideo Fujiwara,et al.  On the Acceleration of Test Generation Algorithms , 1983, IEEE Transactions on Computers.

[17]  Mario H. Konijnenburg,et al.  Test generation and three-state elements, buses, and bidirectionals , 1994, Proceedings of IEEE VLSI Test Symposium.

[18]  Peter Wohl,et al.  Using Verilog simulation libraries for ATPG , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

[19]  Soumitra Bose,et al.  Algorithms for switch level delay fault simulation , 1997, Proceedings International Test Conference 1997.

[20]  Michael H. Schulz,et al.  SOCRATES: a highly efficient automatic test pattern generation system , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[21]  Vishwani D. Agrawal,et al.  Redundancy removal and test generation for circuits with non-Boolean primitives , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[22]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[23]  Peter Wohl,et al.  Extracting gate-level networks from simulation tables , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[24]  R. L. Wadsack,et al.  Fault modeling and logic simulation of CMOS and MOS integrated circuits , 1978, The Bell System Technical Journal.

[25]  Michael H. Schulz,et al.  DYNAMITE: an efficient automatic test pattern generation system for path delay faults , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[26]  Peter Wohl,et al.  Testing "untestable" faults in three-state circuits , 1996, Proceedings of 14th VLSI Test Symposium.

[27]  Prathima Agrawal,et al.  Can logic simulators handle bidirectionality and charge sharing? , 1990, IEEE International Symposium on Circuits and Systems.

[28]  Randal E. Bryant,et al.  Boolean Analysis of MOS Circuits , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[29]  Dhiraj K. Pradhan,et al.  Accelerated dynamic learning for test pattern generation in combinational circuits , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[30]  Michael H. Schulz,et al.  Improved deterministic test pattern generation with applications to redundancy identification , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[31]  Vishwani D. Agrawal,et al.  Modeling and Test Generation Algorithms for MOS Circuits , 1985, IEEE Transactions on Computers.

[32]  Randal E. Bryant,et al.  Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation , 1989, 26th ACM/IEEE Design Automation Conference.

[33]  Prathima Agrawal,et al.  Automatic modeling of switch-level networks using partial orders , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.