{"id":"https://openalex.org/W2098416053","doi":"https://doi.org/10.1145/2150976.2151011","title":"Automatic generation of hardware/software interfaces","display_name":"Automatic generation of hardware/software interfaces","publication_year":2012,"publication_date":"2012-03-03","ids":{"openalex":"https://openalex.org/W2098416053","doi":"https://doi.org/10.1145/2150976.2151011","mag":"2098416053"},"language":"en","primary_location":{"id":"doi:10.1145/2150976.2151011","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2150976.2151011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063466346","display_name":"Myron King","orcid":"https://orcid.org/0000-0002-3808-9819"},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Myron King","raw_affiliation_strings":["MIT - CSAIL, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"MIT - CSAIL, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013773976","display_name":"Nirav Dave","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nirav Dave","raw_affiliation_strings":["MIT - CSAIL, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"MIT - CSAIL, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060692552","display_name":"Arvind Arvind","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arvind","raw_affiliation_strings":["MIT - CSAIL, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"MIT - CSAIL, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210110987"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5063466346"],"corresponding_institution_ids":["https://openalex.org/I4210110987"],"apc_list":null,"apc_paid":null,"fwci":3.5664,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.92984217,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"325","last_page":"336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8466312289237976},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7667801976203918},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5854442119598389},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.5395718216896057},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5172889232635498},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5099591016769409},{"id":"https://openalex.org/keywords/hardware-compatibility-list","display_name":"Hardware compatibility list","score":0.5003993511199951},{"id":"https://openalex.org/keywords/hardware-architecture","display_name":"Hardware architecture","score":0.4501200318336487},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3910064101219177},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32890844345092773},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.28122130036354065}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8466312289237976},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7667801976203918},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5854442119598389},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.5395718216896057},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5172889232635498},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5099591016769409},{"id":"https://openalex.org/C161394538","wikidata":"https://www.wikidata.org/wiki/Q3127397","display_name":"Hardware compatibility list","level":4,"score":0.5003993511199951},{"id":"https://openalex.org/C65232700","wikidata":"https://www.wikidata.org/wiki/Q5656403","display_name":"Hardware architecture","level":3,"score":0.4501200318336487},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3910064101219177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32890844345092773},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28122130036354065},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2150976.2151011","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2150976.2151011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.8700000047683716}],"awards":[{"id":"https://openalex.org/G5940469693","display_name":"Generating High-Quality Complex Digital Systems from High-Level Specifications","funder_award_id":"0541164","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321292","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1496267491","https://openalex.org/W1498342204","https://openalex.org/W1501299353","https://openalex.org/W1568192366","https://openalex.org/W1576648414","https://openalex.org/W1597755753","https://openalex.org/W1772887859","https://openalex.org/W1857327297","https://openalex.org/W1984866458","https://openalex.org/W1993696446","https://openalex.org/W2014497214","https://openalex.org/W2026000735","https://openalex.org/W2030220202","https://openalex.org/W2060736133","https://openalex.org/W2064152568","https://openalex.org/W2066210260","https://openalex.org/W2078665732","https://openalex.org/W2089605910","https://openalex.org/W2099129242","https://openalex.org/W2100044916","https://openalex.org/W2106755614","https://openalex.org/W2116238698","https://openalex.org/W2120431055","https://openalex.org/W2120665166","https://openalex.org/W2125415493","https://openalex.org/W2140421645","https://openalex.org/W2143697469","https://openalex.org/W2148593819","https://openalex.org/W2150408604","https://openalex.org/W2155235848","https://openalex.org/W2163081314","https://openalex.org/W2168667806","https://openalex.org/W2170898477","https://openalex.org/W2171532807","https://openalex.org/W2179825846","https://openalex.org/W2272076371","https://openalex.org/W3148899525","https://openalex.org/W4233187670","https://openalex.org/W4240633153","https://openalex.org/W6629841916"],"related_works":["https://openalex.org/W3012294693","https://openalex.org/W4384824787","https://openalex.org/W2075931580","https://openalex.org/W1482030793","https://openalex.org/W1510971508","https://openalex.org/W2074361098","https://openalex.org/W2892230743","https://openalex.org/W4251034626","https://openalex.org/W2942667942","https://openalex.org/W2625698159"],"abstract_inverted_index":{"Enabling":[0],"new":[1,148,185],"applications":[2,26],"for":[3,24,54,129,196],"mobile":[4],"devices":[5],"often":[6],"requires":[7],"the":[8,32,35,71,78,84,91,100,106,110,114,118,132,139,152,156],"use":[9],"of":[10,18,31,81,93,136,175,200],"specialized":[11],"hardware":[12,36,125,179],"to":[13,39,45,64,108,120],"reduce":[14],"power":[15],"consumption.":[16],"Because":[17],"time-to-market":[19],"pressure,":[20],"current":[21],"design":[22,72,165,180],"methodologies":[23],"embedded":[25],"require":[27],"an":[28,173,201],"early":[29],"partitioning":[30],"design,":[33],"allowing":[34,117],"and":[37,74,124,150,189,206],"software":[38,123,186],"be":[40],"developed":[41],"simultaneously,":[42],"each":[43],"adhering":[44],"a":[46,58,147,176,184,207],"rigid":[47],"interface":[48,61,85,158],"contract.":[49],"This":[50],"approach":[51],"is":[52,62,68,142],"problematic":[53],"two":[55],"reasons:":[56],"(1)":[57],"detailed":[59],"hardware-software":[60,111,140,198],"difficult":[63],"specify":[65,109],"until":[66],"one":[67],"deep":[69],"into":[70],"process,":[73],"(2)":[75],"it":[76,160],"prevents":[77],"later":[79],"migration":[80],"functionality":[82,137],"across":[83,138],"motivated":[86],"by":[87,144],"efficiency":[88],"concerns":[89],"or":[90],"addition":[92],"features.":[94],"We":[95],"address":[96],"this":[97,168],"problem":[98],"using":[99,193],"Bluespec":[101],"Codesign":[102],"Language~(BCL)":[103],"which":[104],"permits":[105],"designer":[107],"partition":[112],"in":[113],"source":[115],"code,":[116],"compiler":[119,153,195],"synthesize":[121],"efficient":[122],"along":[126],"with":[127],"transactors":[128],"communication":[130],"between":[131],"partitions.":[133],"The":[134],"movement":[135],"boundary":[141],"accomplished":[143],"simply":[145],"specifying":[146],"partitioning,":[149],"since":[151],"automatically":[154],"generates":[155],"desired":[157],"specifications,":[159],"eliminates":[161],"yet":[162],"another":[163],"error-prone":[164],"task.":[166],"In":[167],"paper":[169],"we":[170],"present":[171],"BCL,":[172],"extension":[174],"commercially":[177],"available":[178],"language":[181],"(Bluespec":[182],"SystemVerilog),":[183],"compiling":[187],"scheme,":[188],"preliminary":[190],"results":[191],"generated":[192],"our":[194],"various":[197],"decompositions":[199],"Ogg":[202],"Vorbis":[203],"audio":[204],"decoder,":[205],"ray-tracing":[208],"application.":[209]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}