Verification Strategy in Prover
No Thumbnail Available
Authors
Elleithy, Khaled M.
Aref, Mostafa A.
Issue Date
1996-11-18
Type
Article
Language
Keywords
Production system for hardware verification (PROVER) environment , C language integrated production system (CLIPS) , Formal hardware verification , Hardware specification , Verification strategy , Framework
Alternative Title
Abstract
In this paper, the verification strategy of the PROVER environment is presented. The PROVER system (PROduction system for hardware VERification) uses CLIPS (C Language Integrated Production System). PROVER is a rule-based framework for formal hardware verification. The environment supports verification at different levels of hardware specification. The verification strategy is illustrated in this paper using a carry select adder as a case study.
Description
Citation
Publisher
IEEE