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
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;
Conference_Titel :
Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
0-8186-2905-3
DOI :
10.1109/TAI.1992.246456
