Simulation of physical faults in VLSI circuits

Describes an approach for performing transistor-level logical fault simulation of VLSI MOS circuits. The method is based on a recently introduced algebraic approach to switch-level simulation. The faults considered are grouped into four sets: node stuck-at, transistor stuck-open, transistor stuck-on, and bridging faults. The authors consider concurrent fault simulation implementation, and compare, using typical examples, the computational and storage requirements of including all faults in the fault list in one simulation run versus using multiple runs with different fault groupings. Both output voltage and supply current monitoring are used for fault detection.<<ETX>>

[1]  Jacob A. Abraham,et al.  FAULT CHARACTERIZATION OF VLSI MOS CIRCUITS. , 1982 .

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

[3]  Gerald E. Sobelman,et al.  Algorithms for fast, memory efficient switch-level fault simulation , 1991, 28th ACM/IEEE Design Automation Conference.

[4]  Wojciech Maly,et al.  Test generation for current testing (CMOS ICs) , 1990, IEEE Design & Test of Computers.

[5]  Ibrahim N. Hajj An algebra for switch-level simulation , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[6]  Wojciech Maly,et al.  CMOS bridging fault detection , 1990, Proceedings. International Test Conference 1990.

[7]  Wojciech Maly,et al.  Test generation for current testing , 1989, [1989] Proceedings of the 1st European Test Conference.

[8]  John Paul Shen,et al.  Extraction and simulation of realistic CMOS faults using inductive fault analysis , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[9]  John A. Newkirk,et al.  Test Generation for MOS Circuits , 1984, ITC.

[10]  R. Keith Treece,et al.  Increased CMOS IC stuck-at fault coverage with reduced I/sub DDQ/ test sets , 1990, Proceedings. International Test Conference 1990.

[11]  Randal E. Bryant,et al.  COSMOS: a compiled simulator for MOS circuits , 1987, DAC '87.

[12]  Melvin A. Breuer,et al.  Diagnosis and Reliable Design of Digital Systems , 1977 .

[13]  Randal E. Bryant,et al.  Performance Evaluation of FMOSSIM, a Concurrent Switch-Level Fault Simulator , 1985, DAC 1985.

[14]  Janak H. Patel,et al.  Proofs: a fast, memory efficient sequential circuit fault simulator , 1991, DAC '90.

[15]  Ibrahim N. Hajj,et al.  A switch-level matrix approach to transistor-level fault simulation , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[16]  Masaki Hashizume,et al.  Fault detection of combinational circuits based on supply current , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[17]  I. Anderson,et al.  Graphs and Networks , 1981, The Mathematical Gazette.

[18]  Michael D. Ciletti,et al.  QUIETEST: a quiescent current testing methodology for detecting leakage faults , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[19]  David Blaauw,et al.  Hierarchical multi-level fault simulation of large systems , 1990, J. Electron. Test..

[20]  J. Hayes A unified switching theory with applications to VLSI design , 1982, Proceedings of the IEEE.