Title :
Accurate logic simulation in the presence of unknowns
Author :
Chandra, S.J. ; Patel, J.H.
Author_Institution :
CrossCheck Technol., San Jose, CA, USA
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 :
computational complexity; logic CAD; PLA; SN74181 ALU; accurate logic simulation; algorithms; complexity; exact simulation; function blocks; high-level descriptions; high-level test generation system; random functions; realistic programmable logic arrays; unknowns; Boolean functions; Circuit simulation; Digital systems; Logic circuits; Logic design; Logic functions; Multiplexing; NP-complete problem; Predictive models; Very large scale integration;
Conference_Titel :
Computer-Aided Design, 1989. ICCAD-89. Digest of Technical Papers., 1989 IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-1986-4
DOI :
10.1109/ICCAD.1989.76899
