PHDD: an efficient graph representation for floating point circuit verification.

Yirng-An Chen, Randal E. Bryant

Browse the full ICCAD paper archive.