×
2003
FPgen - a test generation framework for datapath floating-point verification.
[DOI]
Merav Aharoni
,
Sigal Asaf
,
Laurent Fournier
,
Anatoly Koyfman
,
Raviv Nagel
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003