Raviv Nagel

According to our database, Raviv Nagel authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

FPgen - a test generation framework for datapath floating-point verification.

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