{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:34Z","timestamp":1763468194580,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/fpt.2013.6718341","type":"proceedings-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T16:19:42Z","timestamp":1390580382000},"page":"120-127","source":"Crossref","is-referenced-by-count":12,"title":["Making domain-specific hardware synthesis tools cost-efficient"],"prefix":"10.1109","author":[{"given":"Nithin","family":"George","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Novo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiark","family":"Rompf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Ienne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Mentor Graphics Handle-C","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78610-8_30"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.134"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.15"},{"journal-title":"Altera Quartus II Handbook Version 13 0","year":"2013","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.107"},{"key":"14","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1145\/2429069.2429128","article-title":"Optimizing data structures in high-level programs new directions for extensible compilers based on staging","author":"rompf","year":"2013","journal-title":"Proceedings of the ACM SIGACT-SIGPLAN Symp Principles of Programming Languages"},{"journal-title":"Vivado High-Level Synthesis","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2012.6339272"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2010.28"},{"journal-title":"Calypto Catapult","year":"0","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8_9"},{"key":"23","first-page":"473","article-title":"High-Level synthesis for fpgas: From prototyping to deployment,\" computer-Aided design of integrated circuits and systems","volume":"30","author":"cong","year":"2011","journal-title":"IEEE Transactions on"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2010.69"},{"journal-title":"Nvidia Nvidia CUDA Programming Guide","year":"2009","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2011.19"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/SASP.2009.5226333"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ASICON.2011.6157401"},{"key":"29","first-page":"89","volume":"45","author":"auerbach","year":"2010","journal-title":"Lime A Java-compatible and Synthesizable Language for Heterogeneous Architectures"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450105"},{"journal-title":"HDL-Coder","year":"0","key":"2"},{"journal-title":"GNU C compiler","year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2159542.2159547"},{"key":"30","first-page":"69","article-title":"Bluespec system verilog: Efficient, correct rtl from high level specifications","volume":"2004","author":"nikhil","year":"0","journal-title":"Formal Methods and Models for Co-Design 2004"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950423"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2184319.2184345"},{"journal-title":"Scala programming language","year":"0","key":"5"},{"key":"31","first-page":"3","article-title":"Kiwi: Synthesis of fpga circuits from parallel programs","author":"greaves","year":"2008","journal-title":"Field-Programmable Custom Computing Machines 2008 FCCM'08 16th International Symposium on IEEE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8_12"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2011.44"}],"event":{"name":"2013 International Conference on Field-Programmable Technology (FPT)","start":{"date-parts":[[2013,12,9]]},"location":"Kyoto, Japan","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 International Conference on Field-Programmable Technology (FPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6712172\/6718311\/06718341.pdf?arnumber=6718341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T08:38:27Z","timestamp":1648111107000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6718341\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/fpt.2013.6718341","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}