FPgen - a test generation framework for datapath floating-point verification | IEEE Conference Publication | IEEE Xplore