A minicomputer-based logic circuit fault simulator
- 1 September 1974
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGDA Newsletter
- Vol. 4 (3) , 15-19
- https://doi.org/10.1145/1061414.1061415
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 8 references indexed in Scilit:
- Concurrent simulation of nearly identical digital networksComputer, 1974
- TEGAS2---anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logicPublished by Association for Computing Machinery (ACM) ,1972
- Fault simulation of digital logic utilizing a small host machinePublished by Association for Computing Machinery (ACM) ,1972
- A system of computer aids for designing logic circuit testsPublished by Association for Computing Machinery (ACM) ,1970
- Accurate simulation of high speed computer logicPublished by Association for Computing Machinery (ACM) ,1969
- 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