Symbolic Analysis Methods for Masks, Circuits, and Systems

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 f abstraction.

• Type: Conference
• Year: 1993
• Where: ICCD
• Authors: Randal E. Bryant
• Keywords: Hardware, ICCD 1993, Paper Summarizes Research, Symbolic Analysis Methods, Symbolic Representation