{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:01Z","timestamp":1772163961889,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,3]],"date-time":"2012-03-03T00:00:00Z","timestamp":1330732800000},"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":[[2012,3,3]]},"DOI":"10.1145\/2150976.2151011","type":"proceedings-article","created":{"date-parts":[[2012,3,6]],"date-time":"2012-03-06T08:18:26Z","timestamp":1331021906000},"page":"325-336","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Automatic generation of hardware\/software interfaces"],"prefix":"10.1145","author":[{"given":"Myron","family":"King","sequence":"first","affiliation":[{"name":"MIT - CSAIL, Cambridge, MA, USA"}]},{"given":"Nirav","family":"Dave","sequence":"additional","affiliation":[{"name":"MIT - CSAIL, Cambridge, MA, USA"}]},{"family":"Arvind","sequence":"additional","affiliation":[{"name":"MIT - CSAIL, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,3,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"L. Augustsson J. Schwarz and R. S. Nikhil \"Bluespec Language definition \" p. 95 2001 Sandburst Corp.  L. Augustsson J. Schwarz and R. S. Nikhil \"Bluespec Language definition \" p. 95 2001 Sandburst Corp."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371247"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/334012.334013"},{"key":"e_1_3_2_1_4_1","unstructured":"G. Kahn \"The semantics of simple language for parallel programming \" in phIFIP Congress 1974 pp. 471--475.  G. Kahn \"The semantics of simple language for parallel programming \" in phIFIP Congress 1974 pp. 471--475."},{"key":"e_1_3_2_1_5_1","unstructured":"J. B. Dennis J. B. Fosseen and J. P. Linderman \"Data flow schemas \" in International Sympoisum on Theoretical Programming 1972.   J. B. Dennis J. B. Fosseen and J. P. Linderman \"Data flow schemas \" in International Sympoisum on Theoretical Programming 1972."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.48862"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"e_1_3_2_1_8_1","volume-title":"Ed.","volume":"2304","author":"Thies W.","year":"2002"},{"key":"e_1_3_2_1_9_1","first-page":"389","article-title":"The ESTEREL Synchronous Programming Language and its Mathematical Semantics","author":"Berry G.","year":"1984","journal-title":"Seminar on Concurrency"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176899"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"D. C. Luckham \"Rapide: A language and toolset for causal event modeling of distributed system architectures \" in WWCA 1998.   D. C. Luckham \"Rapide: A language and toolset for causal event modeling of distributed system architectures \" in WWCA 1998.","DOI":"10.1007\/3-540-64216-1_42"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.878473"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176900"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11925040_8"},{"key":"e_1_3_2_1_16_1","volume-title":"Massachusetts: Addison-Wesley","author":"Chandy K. M.","year":"1988"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.833614"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_19_1","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"Lynch N. A.","year":"1989","journal-title":"CWI Quarterly"},{"key":"e_1_3_2_1_20_1","unstructured":"E. Czeck R. Nanavati and J. Stoy \"Reliable Design with Multiple Clock Domains \" in Proceedings of Formal Methods and Models for Codesign (MEMOCODE) 2006.  E. Czeck R. Nanavati and J. Stoy \"Reliable Design with Multiple Clock Domains \" in Proceedings of Formal Methods and Models for Codesign (MEMOCODE) 2006."},{"key":"e_1_3_2_1_21_1","volume-title":"Inc.","year":"2004"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"N. Dave M. Katelman M. King J. Meseguer and Arvind \"Verification of Microarchitectural Refinements in Rule-based systems \" in MEMOCODE Cambridge UK 2011.  N. Dave M. Katelman M. King J. Meseguer and Arvind \"Verification of Microarchitectural Refinements in Rule-based systems \" in MEMOCODE Cambridge UK 2011.","DOI":"10.1109\/MEMCOD.2011.5970511"},{"key":"e_1_3_2_1_23_1","first-page":"179","volume-title":"IEEE","author":"Meredith P. O.","year":"2010"},{"key":"e_1_3_2_1_24_1","unstructured":"W. Snyder and P. Wasson and D. Galbi \"Verilator \" http:\/\/www.veripool.com\/verilator.html 2007.  W. Snyder and P. Wasson and D. Galbi \"Verilator \" http:\/\/www.veripool.com\/verilator.html 2007."},{"key":"e_1_3_2_1_25_1","unstructured":"\"Carbon Design Systems Inc \" http:\/\/carbondesignsystems.com.  \"Carbon Design Systems Inc \" http:\/\/carbondesignsystems.com."},{"key":"e_1_3_2_1_26_1","first-page":"488","article-title":"Synthesis of the hardware\/software interface in microcontroller-based systems","author":"Chou P.","year":"1992","journal-title":"Proceedings of the International Conference on Computer Aided Design"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/224486.224491"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266037"},{"key":"e_1_3_2_1_29_1","unstructured":"Catapult-C Manual and C\/C+ style guide Mentor Graphics 2004.  Catapult-C Manual and C\/C+ style guide Mentor Graphics 2004."},{"key":"e_1_3_2_1_30_1","unstructured":"Synfora \"PICO Platform \" http:\/\/www.synfora.com\/.  Synfora \"PICO Platform \" http:\/\/www.synfora.com\/."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2010.2055231"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_5"},{"issue":"2","key":"e_1_3_2_1_33_1","first-page":"0","article-title":"Ptolemy: A framework for simulating and prototyping heterogenous systems","volume":"4","author":"Buck J. T.","journal-title":"Int. Journal in Computer Simulation"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371671"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044111.1044119"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371249"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"N. Dave M. C. Ng M. Pellauer and Arvind \"A design flow based on modular refinement \" in Formal Methods and Models for Codesign (MEMOCODE 2010).  N. Dave M. C. Ng M. Pellauer and Arvind \"A design flow based on modular refinement \" in Formal Methods and Models for Codesign (MEMOCODE 2010).","DOI":"10.1109\/MEMCOD.2010.5558626"},{"key":"e_1_3_2_1_39_1","first-page":"171","article-title":"Bounded dataflow networks and latency-insensitive circuits","author":"Vijayaraghavan M.","year":"2009","journal-title":"MEMOCODE"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145694.2145725"},{"key":"e_1_3_2_1_41_1","unstructured":"T. Esposito M. Lis R. Nanavati J. Stoy and J. Schwartz \"System and method for scheduling TRS rules \" United States Patent US 133051-0001 February 2005.  T. Esposito M. Lis R. Nanavati J. Stoy and J. Schwartz \"System and method for scheduling TRS rules \" United States Patent US 133051-0001 February 2005."},{"key":"e_1_3_2_1_42_1","unstructured":"J. C. Hoe \"Operation-Centric Hardware Description and Synthesis \" Ph.D. dissertation MIT Cambridge MA 2000.  J. C. Hoe \"Operation-Centric Hardware Description and Synthesis \" Ph.D. dissertation MIT Cambridge MA 2000."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"M. Karczmarek and Arvind \"Synthesis from multi-cycle atomic actions as a solution to the timing closure problem \" in ICCAD 2008.   M. Karczmarek and Arvind \"Synthesis from multi-cycle atomic actions as a solution to the timing closure problem \" in ICCAD 2008.","DOI":"10.1109\/ICCAD.2008.4681547"}],"event":{"name":"ASPLOS'12: Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems","location":"London England, UK","acronym":"ASPLOS'12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2150976.2151011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2150976.2151011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:44Z","timestamp":1750226084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2150976.2151011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,3]]},"references-count":43,"alternative-id":["10.1145\/2150976.2151011","10.1145\/2150976"],"URL":"https:\/\/doi.org\/10.1145\/2150976.2151011","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2248487.2151011","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2189750.2151011","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,3,3]]},"assertion":[{"value":"2012-03-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}