Equivalence checking of integer multipliers.

Jiunn-Chern Chen Yirng-An Chen

Published in: ASP-DAC (2001)

Keyphrases

decision variables
floating point
real time
data sets
consistency checking
integer valued
information retrieval
computer vision
special case
interactive dynamic influence diagrams