Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT).

Omid Sarbishei Katarzyna Radecka

Published in: ISCAS (2012)

Keyphrases

fixed point
floating point
dynamical systems
sufficient conditions
model checking
fixed point theorem
higher order
variational inequalities
similarity measure
high quality
probability distribution
belief propagation
shape from shading
free energy
constraint databases
bargaining solution