Title :
Verification strategy in PROVER
Author :
Elleithy, Khaled M. ; Aref, Mostafa A.
Author_Institution :
Coll. of Comput. Sci. & Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
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
Keywords :
VLSI; circuit analysis computing; formal specification; formal verification; knowledge based systems; logic CAD; C Language Integrated Production System; CLIPS; PROVER environment; carry select adder; formal hardware verification; hardware specification; rule-based framework; verification strategy; Computer science; Educational institutions; Formal verification; Hardware; Minerals; Petroleum; Production systems; Prototypes; Software libraries; Very large scale integration;
Conference_Titel :
Circuits and Systems, 1996., IEEE Asia Pacific Conference on
Conference_Location :
Seoul
Print_ISBN :
0-7803-3702-6
DOI :
10.1109/APCAS.1996.569219
