DEVE: an expert system for hardware design verification

摘要

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.