Mohammad Ali Ghodrat Tony Givargis Alexandru Nicolau Expression equivalence checking using interval analysis. 830-842 2006 14 IEEE Trans. VLSI Syst. 8 http://doi.ieeecomputersociety.org/10.1109/TVLSI.2006.878471 db/journals/tvlsi/tvlsi14.html#GhodratGN06