{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T01:47:54Z","timestamp":1749692874137},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/aspdac.2013.6509686","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T19:36:53Z","timestamp":1367609813000},"page":"723-728","source":"Crossref","is-referenced-by-count":1,"title":["Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models"],"prefix":"10.1109","author":[{"family":"Bin Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Chatterjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1147\/rd.341.0071"},{"year":"0","key":"2"},{"year":"0","key":"10"},{"journal-title":"Floating-Point Fused Multiply-Add Architectures","year":"2007","author":"quinnell","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090657"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1109\/ARITH.2007.5","article-title":"A new architecture for multiple-precision floating-point multiply-add fused unit design","author":"huang","year":"2007","journal-title":"Proceedings. 16th IEEE Symposium on Computer Arithmetic"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2001944"},{"key":"9","first-page":"1298","article-title":"Automatic formal verification of fused-multiply-add fpus","author":"jacobi","year":"2005","journal-title":"DATE"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1093\/qjmam\/4.2.236"},{"journal-title":"Computer Arithmetic Algorithms \\","year":"2001","author":"koren","key":"11"}],"event":{"name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013)","start":{"date-parts":[[2013,1,22]]},"location":"Yokohama","end":{"date-parts":[[2013,1,25]]}},"container-title":["2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6507004\/6509548\/06509686.pdf?arnumber=6509686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T08:31:17Z","timestamp":1498033877000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6509686\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2013.6509686","relation":{},"subject":[],"published":{"date-parts":[[2013,1]]}}}