2003
FPgen - a test generation framework for datapath floating-point verification.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003