A Production Based System For Formal Verification Of Digital Signal Processing Architectures
No Thumbnail Available
Authors
Elleithy, Khaled M.
Aref, Mostafa A.
Issue Date
1993-11-01
Type
Article
Language
Keywords
Alternative Title
Abstract
In this paper a new formal hardware verification approach for Digital Signal Processing Architectures based on a production system environment is introduced. The PROVER system (PROduction system for hardware VERification) is implemented using CLIPS (C Language Integrated Production System). A cell library of different hardware components has been implemented. Components in the cell library are described at the transistor level, circuit level, gate level, logical level, and functional level. An example of Carry Select Adder using PROVER is given in the paper.
Description
Citation
Publisher
IEEE