A Normalization Method for Arithmetic Data-Path Verification
Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • Oct 23, 2007
NobleIDNI6P11W27R35S12
Authors:,,
Markus Wedler
Dominik Stoffel
Raik Brinkmann
Abstract
We propose a normalization technique for verifying arithmetic circuits in a bounded model-checking environment. Our technique operates on the arithmetic bit-level (ABL) description of the arithmetic circuit parts and property. The ABL description can easily be provided by the front-end of a register...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!