Title :
Symbolic analysis methods for masks, circuits and systems
Author :
Bryant, Randal E.
Author_Institution :
Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting and 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
Keywords :
masks; network analysis; abstraction levels; circuits; compaction; complex systems; masks; ordered binary decision diagrams; symbolic analysis methods; symbolic representation; Automata; Boolean functions; Casting; Circuits and systems; Compaction; Modems; Performance analysis; Sequential circuits; State-space methods; System analysis and design;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1993. ICCD '93. Proceedings., 1993 IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-4230-0
DOI :
10.1109/ICCD.1993.393414