UB ScholarWorks

Verification Strategy in Prover

Show simple item record

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

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search ScholarWorks

Advanced Search


My Account