%0 Conference Paper %1 conf/hldvt/AharoniAFKN03 %A Aharoni, Merav %A Asaf, Sigal %A Fournier, Laurent %A Koyfman, Anatoly %A Nagel, Raviv %B HLDVT %D 2003 %I IEEE Computer Society %K dblp %P 17-22 %T FPgen - a test generation framework for datapath floating-point verification. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#AharoniAFKN03 %@ 0-7803-8236-6

@inproceedings{conf/hldvt/AharoniAFKN03, added-at = {2023-03-23T00:00:00.000+0100}, author = {Aharoni, Merav and Asaf, Sigal and Fournier, Laurent and Koyfman, Anatoly and Nagel, Raviv}, biburl = {https://www.bibsonomy.org/bibtex/22e5287831d4ddfb08cf273ce359dd631/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2003.1252469}, interhash = {f03cc353e1ac2c394eb05dd00801baf1}, intrahash = {2e5287831d4ddfb08cf273ce359dd631}, isbn = {0-7803-8236-6}, keywords = {dblp}, pages = {17-22}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:43:48.000+0200}, title = {FPgen - a test generation framework for datapath floating-point verification.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#AharoniAFKN03}, year = 2003 }