A Test Generation Framework for Datapath Floating-Point Verification
PaperA 2003 paper by M. Aharoni, S. Asaf, L. Fournier, A. Koyfman, and R. Nagel, published in the Eighth IEEE International High-Level Design Validation and Test Workshop (HLDVT-03), pages 17–22. The available evidence identifies it only through a reference entry in a 2006 AAAI paper on constraint-based random stimuli generation for hardware verification.
WIKI
Overview
A Test Generation Framework for Datapath Floating-Point Verification is a paper listed as a 2003 publication by M. Aharoni, S. Asaf, L. Fournier, A. Koyfman, and R. Nagel. The available bibliographic entry gives its venue as the Eighth IEEE International High-Level Design Validation and Test Workshop (HLDVT-03) and its page range as 17–22.
Bibliographic details
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →