Accurate logic simulation in the presence of unknowns
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The authors address the problem of accurate logic simulation in the presence of unknowns. Algorithms to perform exact simulation using high-level descriptions are presented. The complexity of these algorithms is shown to be considerably less than that of existing algorithms. An analysis of realistic programmable logic arrays (PLAs) and some random functions is used to compare the complexity of the two algorithms presented. Data on the SN74181 ALU suggest that function blocks of similar size can be easily dealt with. The feasibility of the approach is demonstrated by a programmed implementation of the algorithms as part of a high-level test generation system.Keywords
This publication has 2 references indexed in Scilit:
- Prime Implicants, Minimum Covers, and the Complexity of Logic SimplificationIEEE Transactions on Computers, 1986
- A Note on Three-Valued Logic SimulationIEEE Transactions on Computers, 1972