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.