{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T10:08:04Z","timestamp":1781258884599,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,7]],"date-time":"2017-06-07T00:00:00Z","timestamp":1496793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,7]]},"DOI":"10.1145\/3120895.3120918","type":"proceedings-article","created":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T14:22:01Z","timestamp":1514557321000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["High-level Synthesis based on Parallel Design Patterns using a Functional Language"],"prefix":"10.1145","author":[{"given":"Morihiro","family":"Kuga","sequence":"first","affiliation":[{"name":"Kumamoto University, Kumamoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kansuke","family":"Fukuda","sequence":"additional","affiliation":[{"name":"Kumamoto University, Kumamoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Motoki","family":"Amagasaki","sequence":"additional","affiliation":[{"name":"Kumamoto University, Kumamoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masahiro","family":"Iida","sequence":"additional","affiliation":[{"name":"Kumamoto University, Kumamoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Toshinori","family":"Sueyoshi","sequence":"additional","affiliation":[{"name":"Kumamoto University, Kumamoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/291251.289440"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2514740"},{"key":"e_1_3_2_1_4_1","unstructured":"Koen Claessen and Mary Sheeran. 2007. A Slightly Revised Tutorial on Lava: A Hardware Description and Verification System. (2007) 98 pages.  Koen Claessen and Mary Sheeran. 2007. A Slightly Revised Tutorial on Lava: A Hardware Description and Verification System. (2007) 98 pages."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2012.6339272"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. 21st International Symposia on Implementation and Application of Functional Languages (IFL)","author":"Gill Andy","unstructured":"Andy Gill , Tristan Bull , Garrin Kimmell , Erik Perrins , and Brett Werling . 2009. Introducing Kansas Lava . In Proc. 21st International Symposia on Implementation and Application of Functional Languages (IFL) . Springer Berlin Heidelberg , South Orange, NJ, USA , 18--35. Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, and Brett Werling. 2009. Introducing Kansas Lava. In Proc. 21st International Symposia on Implementation and Application of Functional Languages (IFL). Springer Berlin Heidelberg, South Orange, NJ, USA, 18--35."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629582"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000214"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541959"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASP.2009.5226333"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872415"},{"key":"e_1_3_2_1_14_1","volume-title":"d.]. The LLVM Compiler Infrastructure Project. ([n. d.]). Retrieved","author":"The LLVM","year":"2017","unstructured":"The LLVM projecct. [n. d.]. The LLVM Compiler Infrastructure Project. ([n. d.]). Retrieved March 2017 from http:\/\/www.llvm.org The LLVM projecct. [n. d.]. The LLVM Compiler Infrastructure Project. ([n. d.]). Retrieved March 2017 from http:\/\/www.llvm.org"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853195"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. IEEE 9th Annual Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE Computer Society, 91--100","year":"2001","unstructured":"Satnam. Singh and Phil. James-Roxby. 2001. Lava and JBits: From HDL to Bit-stream in Seconds . In Proc. IEEE 9th Annual Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE Computer Society, 91--100 . https:\/\/doi.org\/10.1109\/FCCM. 2001 .28 10.1109\/FCCM.2001.28 Satnam. Singh and Phil. James-Roxby. 2001. Lava and JBits: From HDL to Bit-stream in Seconds. In Proc. IEEE 9th Annual Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE Computer Society, 91--100. https:\/\/doi.org\/10.1109\/FCCM.2001.28"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2010.28"}],"event":{"name":"HEART2017: The 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies","location":"Bochum Germany","acronym":"HEART2017","sponsor":["Ruhr-Universit\u00e4t Bochum Ruhr-Universit\u00e4t Bochum"]},"container-title":["Proceedings of the 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3120895.3120918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3120895.3120918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:05Z","timestamp":1750273505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3120895.3120918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,7]]},"references-count":17,"alternative-id":["10.1145\/3120895.3120918","10.1145\/3120895"],"URL":"https:\/\/doi.org\/10.1145\/3120895.3120918","relation":{},"subject":[],"published":{"date-parts":[[2017,6,7]]},"assertion":[{"value":"2017-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}