{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:49:20Z","timestamp":1784213360078,"version":"3.55.0"},"reference-count":17,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2003.1252469","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T22:17:26Z","timestamp":1080685046000},"page":"17-22","source":"Crossref","is-referenced-by-count":29,"title":["FPgen - a test generation framework for datapath floating-point verification"],"prefix":"10.1109","author":[{"given":"M.","family":"Aharoni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Asaf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.","family":"Fournier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Koifman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref11","article-title":"A Test for Correctly Rounded SQRT","author":"kahan","year":"1996"},{"key":"ref12","first-page":"111","author":"russel","year":"0","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref13","first-page":"119","article-title":"Generation and Analysis of Hard to Round Cases for Binary FP Division","author":"mcfearin","year":"2001","journal-title":"Proc Conf Computer Arithmetic"},{"key":"ref14","first-page":"158","article-title":"Solving Range Constraints for Binary FP Instructions","author":"ziv","year":"2003","journal-title":"Proc ARITH"},{"key":"ref15","first-page":"147","article-title":"A Decimal FP Specification","author":"cowlishaw","year":"2001","journal-title":"Proc Conf Computer Arithmetic"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/382043.382404"},{"key":"ref17","article-title":"Formal tools won't replace simulation, experts say","author":"goering","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008665528003"},{"key":"ref3","first-page":"158","article-title":"User defined coveragen - a tool supported methodology for design verification","author":"grinwald","year":"1998","journal-title":"DAC"},{"key":"ref6","first-page":"20","article-title":"Formal Verification of the Pentium 4 FP Multiplier","author":"kaivola","year":"2002","journal-title":"DATE02"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307540"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1999.762850"},{"key":"ref7","first-page":"183","article-title":"Solving the Generalized Mask Constraint for Test Generation of Binary FP Add Operation","author":"fournier","year":"2003","journal-title":"Theoretical Computer Science Special issue Real Numbers and Computers"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217542"},{"key":"ref1","first-page":"754","year":"0","journal-title":"IEEE standard for binary FP arithmetic An American_ National Standard ANSI\/IEEEE Std"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1145\/196244.196392","article-title":"fitting formal methods into the design cycle","author":"mcmillan","year":"1994","journal-title":"31st Design Automation Conference"}],"event":{"name":"Eighth IEEE International High-Level Design Validation and Test Workshop","location":"San Francisco, CA, USA","acronym":"HLDVT-03"},"container-title":["Eighth IEEE International High-Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8873\/28031\/01252469.pdf?arnumber=1252469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:35:18Z","timestamp":1497587718000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1252469\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2003.1252469","relation":{},"subject":[]}}