An efficient algorithm of performing range analysis for fixed-point arithmetic circuits based on SAT checking.

Yu Pang Katarzyna Radecka

Published in: ISCAS (2011)

Keyphrases

fixed point
learning algorithm
objective function
optimal solution
preprocessing
search space
dynamic programming
floating point
approximate value iteration
matching algorithm
high quality
np hard
least squares
convergence rate