Yirng-An Chen Randal E. Bryant PHDD: an efficient graph representation for floating point circuit verification. 2-7 1997 ICCAD http://doi.acm.org/10.1145/266388.266400 db/conf/iccad/iccad1997.html#ChenB97