41 search results - page 1 / 9 » Normalization at the arithmetic bit level |
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...
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...
ASPDAC
2008
ACM
13 years 5 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
ICCAD
2001
IEEE
14 years 1 months ago
2001
IEEE
VISUALIZATION
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper we introduce a new and simple algorithm to compress isosurface data. This is the data extracted by isosurface algorithms from scalar functions defined on volume gri...