Accurate logic simulation in the presence of unknowns

Author

Chandra, S.J. ; Patel, J.H.

Author_Institution

CrossCheck Technol., San Jose, CA, USA

fYear

1989

fDate

5-9 Nov. 1989

Firstpage

34

Lastpage

37

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCAD.1989.76899

Filename

76899