file.pdf (44.51 kB)

Symbolic Analysis Methods for Masks, Circuits, and Systems

Download (44.51 kB)
journal contribution
posted on 01.01.1982, 00:00 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.


Publisher Statement

All Rights Reserved



Usage metrics