file.pdf (44.51 kB)
0/0

Symbolic Analysis Methods for Masks, Circuits, and Systems

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

History

Publisher Statement

All Rights Reserved

Date

01/01/1982

Exports

Exports