*PHDD: an efficient graph representation for floating point circuit verification | IEEE Conference Publication | IEEE Xplore