A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
COSMOS: a compiled simulator for MOS circuits
1987
24th ACM/IEEE conference proceedings on Design automation conference - DAC '87
Binary decision diagrams provide a data structure for representing and manipulating Boolean functions in symbolic form. They have been especially effective as the algorithmic basis for symbolic model checkers. A binary decision diagram represents a Boolean function as a directed acyclic graph, corresponding to a compressed form of decision tree. Most commonly, an ordering constraint is imposed among the occurrences of decision variables in the graph, yielding ordered binary decision diagrams
doi:10.1145/37888.37890
dblp:conf/dac/BryantBBCS87
fatcat:w7pcly66oreg5bxkmwrt4m43jy