Fast discrete function evaluation using decision diagrams

Abstract

Abstract: An approach for fast discrete function evaluation based on multi-valued decision diagrams (MDD) is proposed. The MDD for a logic function is translated into a table on, which function evaluation is performed by a sequence of address lookups. The value of a function for a given input assignment is obtained with at most one lookup per input. The main application is to cycle-based logic simulation of digital circuits, where the principal difference from other logic simulators is that only values of the output and latch ports are computed. Theoretically, decision-diagram based function evaluation offers orders-of-magnitude potential speedup over traditional logic simulation methods. In practice, memory bandwidth becomes the dominant consideration on large designs. We describe techniques to optimize usage of the memory hierarchy.

DOI: 10.1145/224841.225072

Extracted Key Phrases

5 Figures and Tables

Statistics

01020'96'98'00'02'04'06'08'10'12'14'16
Citations per Year

168 Citations

Semantic Scholar estimates that this publication has 168 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{McGeer1995FastDF, title={Fast discrete function evaluation using decision diagrams}, author={Patrick C. McGeer and Kenneth L. McMillan and Alexander Saldanha and Alberto L. Sangiovanni-Vincentelli and Patrick Scaglia}, booktitle={ICCAD}, year={1995} }