{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T22:19:22Z","timestamp":1792275562449,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"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":[[2014,6]]},"DOI":"10.1145\/2593069.2593071","type":"proceedings-article","created":{"date-parts":[[2014,5,27]],"date-time":"2014-05-27T12:57:10Z","timestamp":1401195430000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs"],"prefix":"10.1145","author":[{"given":"Giuseppe","family":"Di Guglielmo","sequence":"first","affiliation":[{"name":"Dept. of Computer Science - Columbia University, New York, NY - USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Pilato","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science - Columbia University, New York, NY - USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca P.","family":"Carloni","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science - Columbia University, New York, NY - USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"794","volume-title":"Proc. of ICCAD","author":"Chou C.-N.","year":"2010","unstructured":"C.-N. Chou Formal deadlock checking on high-level systemc designs . In Proc. of ICCAD , pages 794 -- 799 , 2010 . C.-N. Chou et al. Formal deadlock checking on high-level systemc designs. In Proc. of ICCAD, pages 794--799, 2010."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of IFAC CSSC","author":"J.","year":"1998","unstructured":"J. Cochet-Terrasson et al. Numerical computation of spectral elements in max-plus algebra . In Proceedings of IFAC CSSC , 1998 . J. Cochet-Terrasson et al. Numerical computation of spectral elements in max-plus algebra. In Proceedings of IFAC CSSC, 1998."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1457713"},{"key":"e_1_3_2_1_6_1","volume-title":"Dept. of Computer Science","author":"Di Guglielmo G.","year":"2014","unstructured":"G. Di Guglielmo , C. Pilato , and L. P. Carloni . A design methodology for compositional high-level synthesis of communication-centric SoCs. Technical report , Dept. of Computer Science , Columbia University , New York , Apr. 2014 . G. Di Guglielmo, C. Pilato, and L. P. Carloni. A design methodology for compositional high-level synthesis of communication-centric SoCs. Technical report, Dept. of Computer Science, Columbia University, New York, Apr. 2014."},{"key":"e_1_3_2_1_7_1","volume-title":"High-level synthesis blue book","author":"Fingeroff M.","year":"2010","unstructured":"M. Fingeroff . High-level synthesis blue book . Mentor Graphics Corp ., 2010 . M. Fingeroff. High-level synthesis blue book. Mentor Graphics Corp., 2010."},{"key":"e_1_3_2_1_8_1","volume-title":"Transaction-Level Modeling with SystemC","author":"Ghenassia F.","year":"2006","unstructured":"F. Ghenassia . Transaction-Level Modeling with SystemC . Springer-Verlag , 2006 . F. Ghenassia. Transaction-Level Modeling with SystemC. Springer-Verlag, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2146417.2146425"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_3_2_1_11_1","first-page":"641","volume-title":"Proc. of DATE","author":"Liu H.-Y.","year":"2012","unstructured":"H.-Y. Liu , M. Petracca , and L. P. Carloni . Compositional system-level design exploration with planning of high-level synthesis . In Proc. of DATE , pages 641 -- 646 , 2012 . H.-Y. Liu, M. Petracca, and L. P. Carloni. Compositional system-level design exploration with planning of high-level synthesis. In Proc. of DATE, pages 641--646, 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(84)90067-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.83"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_15_1","unstructured":"Open SystemC iv Initiative (OSCI). OSCI TLM-2.0 Language Reference Manual. 2009.  Open SystemC iv Initiative (OSCI). OSCI TLM-2.0 Language Reference Manual. 2009."},{"key":"e_1_3_2_1_16_1","first-page":"31","volume-title":"ESLsyn Conference","author":"Sanguinetti J.","year":"2012","unstructured":"J. Sanguinetti , M. Meredith , and S. Dart . Transaction-accurate interface scheduling in high-level synthesis . In ESLsyn Conference , pages 31 -- 36 , 2012 . J. Sanguinetti, M. Meredith, and S. Dart. Transaction-accurate interface scheduling in high-level synthesis. In ESLsyn Conference, pages 31--36, 2012."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629344"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228567"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874837"}],"event":{"name":"DAC '14: The 51st Annual Design Automation Conference 2014","location":"San Francisco CA USA","acronym":"DAC '14","sponsor":["EDAC Electronic Design Automation Consortium","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"]},"container-title":["Proceedings of the 51st Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593071","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593069.2593071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:58Z","timestamp":1750229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":18,"alternative-id":["10.1145\/2593069.2593071","10.1145\/2593069"],"URL":"https:\/\/doi.org\/10.1145\/2593069.2593071","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2014-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}