Verification strategy in PROVER
| Author(s) : | M.A. Aref K.M. Elleithy, |
| Publisher : | IEEE |
| Publication Date : | 1996 |
| ISSN : | N/A |
| 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, |