{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:24:42Z","timestamp":1725477882608},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/vlsi-dat.2014.6834921","type":"proceedings-article","created":{"date-parts":[[2014,6,20]],"date-time":"2014-06-20T21:53:41Z","timestamp":1403301221000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["Apply high-level synthesis design and verification methodology on floating-point unit implementation"],"prefix":"10.1109","author":[{"given":"Chia-I","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chin-Yeh","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yen-Ju","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chi-Feng","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"High-Level Synthesis Introduction to Chip and System Design","year":"1992","author":"gajski","key":"3"},{"journal-title":"ESL Design and Verification A Prescription for Electronic System Level Methodology","year":"2010","author":"martin","key":"2"},{"year":"0","key":"10"},{"journal-title":"International Technology Roadmap for Semiconductor","year":"2011","key":"1"},{"journal-title":"Digital Arithmetic","year":"2003","author":"ercegovac","key":"7"},{"journal-title":"IEEE Standard for Binary Floating-Point Arithmetic","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8"},{"journal-title":"Synthesis and Optimization of Digital Circuits","year":"1994","author":"micheli","key":"4"},{"journal-title":"Division and Square Root","year":"1994","author":"ercegovac","key":"9"},{"journal-title":"Computer Arithmetic Algorithms","year":"2001","author":"koren","key":"8"},{"year":"0","key":"11"}],"event":{"name":"2014 International Symposium on VLSI Design, Automation and Test (VLSI-DAT)","start":{"date-parts":[[2014,4,28]]},"location":"Hsinchu, Taiwan","end":{"date-parts":[[2014,4,30]]}},"container-title":["Technical Papers of 2014 International Symposium on VLSI Design, Automation and Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6823815\/6834858\/06834921.pdf?arnumber=6834921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T12:49:03Z","timestamp":1490273343000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6834921\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/vlsi-dat.2014.6834921","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}