{"id":"https://openalex.org/W2293916051","doi":"https://doi.org/10.1145/1255456.1255471","title":"Binary synthesis","display_name":"Binary synthesis","publication_year":2007,"publication_date":"2007-08-17","ids":{"openalex":"https://openalex.org/W2293916051","doi":"https://doi.org/10.1145/1255456.1255471","mag":"2293916051"},"language":"en","primary_location":{"id":"doi:10.1145/1255456.1255471","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1255456.1255471","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-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/A5088031457","display_name":"Greg Stitt","orcid":"https://orcid.org/0000-0001-7159-7439"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Greg Stitt","raw_affiliation_strings":["University of California, Riverside, CA"],"affiliations":[{"raw_affiliation_string":"University of California, Riverside, CA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001290812","display_name":"Frank Vahid","orcid":"https://orcid.org/0000-0001-5416-0032"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Frank Vahid","raw_affiliation_strings":["University of California, Riverside, CA"],"affiliations":[{"raw_affiliation_string":"University of California, Riverside, CA","institution_ids":["https://openalex.org/I103635307"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088031457"],"corresponding_institution_ids":["https://openalex.org/I103635307"],"apc_list":null,"apc_paid":null,"fwci":2.5333,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.89939358,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"12","issue":"3","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.9998000264167786,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8759305477142334},{"id":"https://openalex.org/keywords/binary-translation","display_name":"Binary translation","score":0.8630697727203369},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.754033625125885},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.584987461566925},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5529046654701233},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5262303352355957},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5103258490562439},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4598885476589203},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.42203396558761597},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3996601700782776},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.34409618377685547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3142334222793579},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.19877541065216064},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17743471264839172}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8759305477142334},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.8630697727203369},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.754033625125885},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.584987461566925},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5529046654701233},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5262303352355957},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5103258490562439},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4598885476589203},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.42203396558761597},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3996601700782776},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34409618377685547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3142334222793579},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.19877541065216064},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17743471264839172},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1255456.1255471","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1255456.1255471","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G6672292195","display_name":null,"funder_award_id":"CNS-0614957","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G7019819843","display_name":null,"funder_award_id":"2005-HJ-1331","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"}],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":92,"referenced_works":["https://openalex.org/W46068130","https://openalex.org/W256812502","https://openalex.org/W323440989","https://openalex.org/W1489161438","https://openalex.org/W1500906976","https://openalex.org/W1517254585","https://openalex.org/W1522086282","https://openalex.org/W1523051745","https://openalex.org/W1567363020","https://openalex.org/W1578878051","https://openalex.org/W1583432580","https://openalex.org/W1586926914","https://openalex.org/W1601927780","https://openalex.org/W1822968287","https://openalex.org/W1835230495","https://openalex.org/W1837646587","https://openalex.org/W1947621832","https://openalex.org/W1967166234","https://openalex.org/W1973829697","https://openalex.org/W1979486932","https://openalex.org/W1988927353","https://openalex.org/W1990717911","https://openalex.org/W2001963229","https://openalex.org/W2004659537","https://openalex.org/W2012429438","https://openalex.org/W2013286553","https://openalex.org/W2024080903","https://openalex.org/W2028922196","https://openalex.org/W2031487553","https://openalex.org/W2034248530","https://openalex.org/W2036409516","https://openalex.org/W2038904603","https://openalex.org/W2040183246","https://openalex.org/W2048167605","https://openalex.org/W2048672904","https://openalex.org/W2051498260","https://openalex.org/W2057979783","https://openalex.org/W2064693219","https://openalex.org/W2070251230","https://openalex.org/W2070822182","https://openalex.org/W2072737419","https://openalex.org/W2080241541","https://openalex.org/W2089131124","https://openalex.org/W2089641827","https://openalex.org/W2103581911","https://openalex.org/W2104041796","https://openalex.org/W2104121286","https://openalex.org/W2105761964","https://openalex.org/W2105984256","https://openalex.org/W2111049501","https://openalex.org/W2120414993","https://openalex.org/W2123607340","https://openalex.org/W2123834080","https://openalex.org/W2127890955","https://openalex.org/W2128832779","https://openalex.org/W2129183345","https://openalex.org/W2130056416","https://openalex.org/W2130882413","https://openalex.org/W2130912976","https://openalex.org/W2139159264","https://openalex.org/W2139637699","https://openalex.org/W2139900512","https://openalex.org/W2139904769","https://openalex.org/W2140156318","https://openalex.org/W2142898116","https://openalex.org/W2143185107","https://openalex.org/W2146263738","https://openalex.org/W2147121609","https://openalex.org/W2147657819","https://openalex.org/W2147692697","https://openalex.org/W2148865465","https://openalex.org/W2148947321","https://openalex.org/W2150023094","https://openalex.org/W2151389958","https://openalex.org/W2151970267","https://openalex.org/W2153179875","https://openalex.org/W2153765042","https://openalex.org/W2155509874","https://openalex.org/W2157550427","https://openalex.org/W2169074659","https://openalex.org/W2169238357","https://openalex.org/W2171697422","https://openalex.org/W2293877842","https://openalex.org/W2339669378","https://openalex.org/W2493328864","https://openalex.org/W2544732887","https://openalex.org/W2554438294","https://openalex.org/W4214626551","https://openalex.org/W4232447490","https://openalex.org/W4232576303","https://openalex.org/W4250370106","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2393994657","https://openalex.org/W2155612203","https://openalex.org/W2166847391","https://openalex.org/W2531450434","https://openalex.org/W2135482679","https://openalex.org/W2035070505","https://openalex.org/W1973862904","https://openalex.org/W181593118","https://openalex.org/W2077870657","https://openalex.org/W4380634810"],"abstract_inverted_index":{"Recent":[0],"high-level":[1,27,118],"synthesis":[2,93,124,176,200,220],"approaches":[3,32,49,73],"and":[4,78,102,120,142,183,228],"C-based":[5],"hardware":[6,13,22,155],"description":[7],"languages":[8,119],"attempt":[9],"to":[10,19,35,43,70,75,153,177,201,212,225],"improve":[11],"the":[12,44,76,89,162,166,187],"design":[14],"process":[15],"by":[16,115,135,239],"allowing":[17],"developers":[18,69],"capture":[20],"desired":[21],"functionality":[23],"in":[24,41,88,100,103],"a":[25,58,107,131],"well-known":[26],"source":[28],"language.":[29],"However,":[30],"these":[31],"have":[33],"yet":[34],"achieve":[36,202],"wide":[37],"commercial":[38,104],"success":[39],"due":[40,74],"part":[42],"difficulty":[45,77],"of":[46,56,81,109,150,170,181,235],"incorporating":[47],"such":[48,72],"into":[50,130],"software":[51,68,121,132],"tool":[52,85,113],"flows.":[53,86],"The":[54],"requirement":[55],"using":[57],"specific":[59],"language,":[60],"compiler,":[61],"or":[62],"development":[63,133],"environment":[64],"may":[65],"cause":[66],"many":[67],"resist":[71],"possible":[79],"instability":[80],"changing":[82],"well-established":[83],"robust":[84],"Thus,":[87],"past":[90],"several":[91,178],"years,":[92],"from":[94],"binaries":[95,152],"has":[96],"been":[97],"introduced,":[98],"both":[99],"research":[101],"tools,":[105],"as":[106],"means":[108],"better":[110],"integrating":[111],"with":[112,205],"flows":[114],"supporting":[116],"all":[117],"compilers.":[122],"Binary":[123],"can":[125],"be":[126],"more":[127],"easily":[128],"integrated":[129],"tool-flow":[134],"only":[136],"requiring":[137],"an":[138],"additional":[139],"backend":[140],"tool,":[141],"it":[143],"even":[144],"enables":[145],"completely":[146],"transparent":[147],"dynamic":[148],"translation":[149],"executing":[151],"configurable":[154],"circuits.":[156,240],"In":[157],"this":[158],"article,":[159],"we":[160,184],"survey":[161],"key":[163,188],"technologies":[164,189],"underlying":[165],"important":[167],"emerging":[168],"field":[169],"binary":[171,175,193,199,215,229,237],"synthesis.":[172],"We":[173],"compare":[174],"related":[179],"areas":[180],"research,":[182],"then":[185],"describe":[186],"required":[190],"for":[191,198,218,222],"effective":[192],"synthesis:":[194],"decompilation":[195],"techniques":[196],"necessary":[197,211],"results":[203],"competitive":[204],"source-level":[206],"synthesis,":[207,219],"hardware/software":[208],"partitioning":[209],"methods":[210,221,231],"find":[213],"critical":[214,236],"regions":[216,224,238],"suitable":[217],"converting":[223],"custom":[226],"circuits,":[227],"update":[230],"that":[232],"enable":[233],"replacement":[234]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}