A Rule-based Approach for High Speed Adders Design Verification
No Thumbnail Available
Authors
Elleithy, Khaled M.
Aref, Mostafa A.
Issue Date
1994-08-03
Type
Article
Language
Keywords
Algorithms analysis , Digital integrated circuit design , Electrical engineering , Engineering
Alternative Title
Abstract
In this paper, a rule-based framework for formal hardware verification is presented. The PROVER system (PROduction system for hardware VERification) is implemented using CLIPS (C Language Integrated Production System). The environment supports verification at different levels of hardware specification. The rule-based framework has been tested on the design of high speed adders.
Description
Citation
Publisher
IEEE