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

Yu Pang, Katarzyna Radecka

Browse the full ISCAS paper archive.