A minicomputer-based logic circuit fault simulator
Authors:
Open Access
- 1 September 1974
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGDA Newsletter
- Vol. 4 (3) , 15-19
Abstract
A logic circuit simulator implemented on a mini-computer with 16K core handles 1000 zero- and unit-delay gates. Single "stuck-at-0", "stuck-at-1", and "short-circuit" faults are simulated in parallel seven at a time using a table-driven selective-trace fault-injection algorithm. For a typical 100-gate circuit the simulation rate for the fault-free circuit or for a group of seven faults is about 800 input patterns per minute, and a complete fault simulation run takes about 5 minutes and costs $1.This paper, aimed at simulator program-designers rather than users, describes technical details of the implementation including minicomputer considerations, the data structure, coding three-valued-logic for efficient parallel simulation, the selective-trace algorithm, the recognition and resolution of critical races in flip-flops, the recognition and resolution of circuit oscillations, implicit fault collapsing, and short-circuit fault simulation.Keywords
This publication has 13 references indexed in Scilit:
- Concurrent simulation of nearly identical digital networksComputer, 1974
- A Deductive Method for Simulating Faults in Logic CircuitsIEEE Transactions on Computers, 1972
- TEGAS2---anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic1972
- Fault simulation of digital logic utilizing a small host machine1972
- A Nand Model ror Fault Diagnosis in Combinational Logic NetworksIEEE Transactions on Computers, 1971
- A system of computer aids for designing logic circuit tests1970
- Accurate simulation of high speed computer logic1969
- Design and Use of Fault Simulation for Saturn Computer DesignIEEE Transactions on Electronic Computers, 1967
- Hazard Detection in Combinational and Sequential Switching CircuitsIBM Journal of Research and Development, 1965
- The Diagnosis of Asynchronous Sequential Switching SystemsIEEE Transactions on Electronic Computers, 1962