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 fault simulator for MOS LSI circuits
DAC '82 Proceedings of the 19th Design Automation Conference
Implication algorithms for MOS switch level functional macromodeling implication and testing
DAC '82 Proceedings of the 19th Design Automation Conference
A Switch-Level Model and Simulator for MOS Digital Systems
IEEE Transactions on Computers
Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability
IEEE Transactions on Computers
Algorithms for Detection of Faults in Logic Circuits
IEEE Transactions on Computers
A Note on Three-Valued Logic Simulation
IEEE Transactions on Computers
Diagnosis of automata failures: a calculus and a method
IBM Journal of Research and Development
Hazard detection in combinational and sequential switching circuits
IBM Journal of Research and Development
Hi-index | 0.00 |
Test generation for transistor switch faults is considered for nMOS combinational circuits. Examination of fault effects shows that memory and non-digital signals can result. A test strategy that accounts for MOS physical properties such as charge storage and bidirectionality is developed. Abstraction of physical effects using ternary algebra can guarantee the generation of valid tests.