file.pdf (44.51 kB)
Download file

Symbolic Analysis Methods for Masks, Circuits, and Systems

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


Publisher Statement

All Rights Reserved



Usage metrics