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 :
بازگشت