Application of Ternary Algebra to the Study of Static Hazards
Journal of the ACM (JACM)
Introduction to VLSI Systems
Test generation for MOS circuits using D-algorithm
DAC '83 Proceedings of the 20th Design Automation Conference
A gate level model for CMOS combinational logic circuits with application to fault detection
DAC '84 Proceedings of the 21st Design Automation Conference
MOS test pattern generation using path algebras
IEEE Transactions on Computers
Test generation of stuck-open faults using stuck-at test sets in CMOS combinational circuits
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Test pattern generation for sequential MOS circuits by symbolic fault simulation
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
CRIS: a test cultivation program for sequential VLSI circuits
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Mixed-level fault coverage estimation
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
ITC '99 Proceedings of the 1999 IEEE International Test Conference
EURO-DAC '90 Proceedings of the conference on European design automation
Fault modelling and fault equivalence in CMOS technology
EURO-DAC '90 Proceedings of the conference on European design automation
Fault simulation and test pattern generation at the multiple-valued switch level
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |
Due to inaccuracies in gate level models of VLSI digital circuits, current practice is to use transistor level simulators to analyze VLSI digital circuits. The inaccuracies of gate level models are even more severe when faults in digital circuits are considered. For this reason, recently several researchers have proposed the use of test pattern generation from digital circuits described at the transistor level. In this paper an efficient test pattern generation procedure for digital circuits described at the transistor level is given.