file.pdf (44.51 kB)
Download fileSymbolic Analysis Methods for Masks, Circuits, and Systems
journal contribution
posted on 01.01.1982, 00:00 authored by Randal E. BryantSymbolic representations of systems can achieve a high
degree of compaction relative to more explicit forms. By
casting an analysis task in terms of operations on a symbolic
representation, large and complex systems can be
analyzed efficiently. This paper summarizes research in
applying symbolic analysis methods to systems at several
levels of abstraction.