DocumentCode :
2599508
Title :
An efficient symbolic design verification system
Author :
Park, Jaehong ; Mercer, M. Ray
Author_Institution :
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
fYear :
1993
fDate :
3-6 Oct 1993
Firstpage :
294
Lastpage :
298
Abstract :
Verifying the correctness of logic design has been an important problem for a long time. But there have been no efficient design verification tools for very large circuits. We present an efficient symbolic design verification method for very large circuits which exploits the properties of OPDDs (ordered partial decision diagrams). By symbolically extracting and simulating test patterns with OPDDs our design verification system provides time and space advantages over existing methods
Keywords :
decision theory; formal verification; logic CAD; logic design; OPDDs; correctness; design verification tools; efficient symbolic design verification system; logic design; ordered partial decision diagrams; symbolic design verification method; test patterns; very large circuits; Circuit simulation; Circuit testing; Combinational circuits; Contracts; Data structures; Design engineering; Design methodology; Logic circuits; Logic design; Manufacturing processes;
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.393363
Filename :
393363
Link To Document :
بازگشت