DocumentCode
3377304
Title
DEVE: an expert system for hardware design verification
Author
Kabakcioglu, A.M. ; Mazuera, Olga L.
Author_Institution
Dept. of Electr. & Comput. Eng., Miami Univ., Coral Gables, FL, USA
fYear
1992
fDate
10-13 Nov 1992
Firstpage
469
Lastpage
470
Abstract
An expert system approach to digital hardware design verification is described. Artificial-intelligence-based approaches typically use general-purpose theorem-proving to show that the design meets the formal specification. In contrast, the expert system DEVE interprets the specification to invoke proper domain-specific verification methods in a knowledge-based environment
Keywords
circuit analysis computing; expert systems; formal verification; DEVE; domain-specific verification methods; expert system; formal specification; hardware design verification; knowledge-based environment; Artificial intelligence; Computer science; Design engineering; Engines; Expert systems; Formal specifications; Hardware design languages; Libraries; Logic; Process design;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on
Conference_Location
Arlington, VA
Print_ISBN
0-8186-2905-3
Type
conf
DOI
10.1109/TAI.1992.246456
Filename
246456
Link To Document