An efficient algorithm of performing range analysis for fixed-point arithmetic circuits based on SAT checking | IEEE Conference Publication | IEEE Xplore