DocumentCode
2600391
Title
Symbolic analysis methods for masks, circuits and systems
Author
Bryant, Randal E.
Author_Institution
Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1993
fDate
3-6 Oct 1993
Firstpage
6
Lastpage
8
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCD.1993.393414
Filename
393414
Link To Document