Yu Pang, Katarzyna Radecka. An efficient algorithm of performing range analysis for fixed-point arithmetic circuits based on SAT checking. In International Symposium on Circuits and Systems (ISCAS 2011), May 15-19 2011, Rio de Janeiro, Brazil. pages 1736-1739, IEEE, 2011. [doi]
Abstract is missing.