13 search results - page 1 / 3 » ACV: an arithmetic circuit verifier |
ICCAD
1996
IEEE
13 years 8 months ago
1996
IEEE
DAC
2005
ACM
13 years 6 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
-- Analog circuit sizing under process/parameter variations is formulated as a mini-max geometric programming problem. To tackle such problem, we present a new method that combines...
CAV
2008
Springer
13 years 6 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...