Symbolic Analysis Methods for Masks, Circuits, and Systems
journal contributionposted on 01.01.1982 by Randal E. Bryant
Any type of content formally published in an academic journal, usually following a peer-review process.
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.