Introduces a knowledge-based approach to hardware verification. A Prolog-based expert system, DEVE, has been developed for hardware design verification. A formal hardware description language for the implementation and for the specification is the input to the verification system. The verification is achieved by interpreting the specification to invoke proper domain specific methods on the implementation model and by reasoning from first principles. This expert system approach to hardware verification integrates formal and domain specific methods in a knowledge-based environment. DEVE attempts to provide a verification tool in a knowledge-based framework by guiding the theorem-proving component provided by the Prolog interpreter with domain specific knowledge and methods.
展开▼
