Symbolic Analysis Methods for Masks, Circuits, and Systems
journal contributionposted on 01.01.1982, 00:00 authored by Randal E. Bryant
Symbolic 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.