An Algebra for Logic Strength Simulation
- 1 January 1983
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 615-618
- https://doi.org/10.1109/dac.1983.1585718
Abstract
To simulate tri-state logic in a non-pessimistic way, a six valued algebra is shown to be necessary. This is then extended to quin-state logic (strong 0, strong 1, weak 0, weak 1, high impedance) and a fifteen valued algebra. The improved accuracy is as important for fault simulation as for design verification. The requirements for non-pessimistic test generation algebras for tri-state and quin-state logic are also discussed. Pessimism in test generation increases the search space and hence the run time.Keywords
This publication has 3 references indexed in Scilit:
- A Fault Simulation Methodology for VLSIPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Speed and accuracy in digital network simulation based on structural modelingPublished by Association for Computing Machinery (ACM) ,1982
- Transmission gate modeling in an existing three-value simulatorPublished by Association for Computing Machinery (ACM) ,1982