| dc.contributor.advisor |
Elleithy, Khaled M. |
en_US |
| dc.contributor.author |
Elleithy, Khaled M. |
en_US |
| dc.contributor.author |
Aref, Mostafa A. |
en_US |
| dc.date.accessioned |
2014-07-16T16:57:17Z |
|
| dc.date.available |
2014-07-16T16:57:17Z |
|
| dc.date.issued |
1996-11-18 |
en_US |
| dc.identifier.other |
1079828b-c362-d3e1-96b1-22ffab163de1 |
en_US |
| dc.identifier.uri |
https://scholarworks.bridgeport.edu/xmlui/handle/123456789/774 |
|
| dc.description.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. |
en_US |
| dc.description.uri |
http://ieeexplore.ieee.org.libproxy.bridgeport.edu/stamp/stamp.jsp?tp=&arnumber=569219 |
en_US |
| dc.publisher |
IEEE |
en_US |
| dc.subject |
Production system for hardware verification (PROVER) environment |
en_US |
| dc.subject |
C language integrated production system (CLIPS) |
en_US |
| dc.subject |
Formal hardware verification |
en_US |
| dc.subject |
Hardware specification |
en_US |
| dc.subject |
Verification strategy |
en_US |
| dc.subject |
Framework |
en_US |
| dc.title |
Verification Strategy in Prover |
en_US |
| dc.type |
Article |
en_US |
| dc.event.location |
Seoul, Korea |
en_US |
| dc.event.name |
1995 IEEE Asia Pacific Conference on Circuits and Systems |
en_US |