Binary floating point verification using random test vector generation based on SV constraints | IEEE Conference Publication | IEEE Xplore