FPgen - a test generation framework for datapath floating-point verification. - Merav Aharoni; Sigal Asaf; Laurent Fournier; Anatoly Koyfman; Raviv Nagel (HLDVT, 2003)