{"id":"https://openalex.org/W2064115172","doi":"https://doi.org/10.1145/1455229.1455230","title":"SystemCoDesigner\u2014an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications","display_name":"SystemCoDesigner\u2014an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2064115172","doi":"https://doi.org/10.1145/1455229.1455230","mag":"2064115172"},"language":"en","primary_location":{"id":"doi:10.1145/1455229.1455230","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1455229.1455230","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/A5013196486","display_name":"Joachim Keinert","orcid":"https://orcid.org/0000-0003-1857-3862"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Joachim Keinert","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072506697","display_name":"Martin Streub\u00fchr","orcid":null},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Streub\u016bhr","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108472153","display_name":"Thomas Schlichter","orcid":null},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Schlichter","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030647581","display_name":"Joachim Falk","orcid":"https://orcid.org/0009-0006-0834-3237"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joachim Falk","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065084795","display_name":"Jens Gladigau","orcid":null},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jens Gladigau","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063619304","display_name":"Christian Haubelt","orcid":"https://orcid.org/0000-0002-1568-5423"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Haubelt","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076672029","display_name":"J\u00fcrgen Teich","orcid":"https://orcid.org/0000-0001-6285-5862"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u016brgen Teich","raw_affiliation_strings":["University of Erlangen-Nuremberg, Erlangen, Germany","University of Erlangen - Nuremberg, Erlangen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Erlangen-Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen - Nuremberg, Erlangen, Germany#TAB#","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003067772","display_name":"Michael P. Meredith","orcid":"https://orcid.org/0000-0002-7342-7756"},"institutions":[{"id":"https://openalex.org/I4210164920","display_name":"Forte (United States)","ror":"https://ror.org/05h0yx811","country_code":"US","type":"company","lineage":["https://openalex.org/I4210164920"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Meredith","raw_affiliation_strings":["Forte Design Systems, San Jose, CA"],"affiliations":[{"raw_affiliation_string":"Forte Design Systems, San Jose, CA","institution_ids":["https://openalex.org/I4210164920"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5013196486"],"corresponding_institution_ids":["https://openalex.org/I181369854"],"apc_list":null,"apc_paid":null,"fwci":21.9751,"has_fulltext":false,"cited_by_count":236,"citation_normalized_percentile":{"value":0.99659252,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"14","issue":"1","first_page":"1","last_page":"23"},"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9983000159263611,"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/systemc","display_name":"SystemC","score":0.9357665777206421},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8849887847900391},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.8235613107681274},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.6994693279266357},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.6665911078453064},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.5529228448867798},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5264699459075928},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5036820769309998},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4931756854057312},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.46940743923187256},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral modeling","score":0.46756845712661743},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4225846827030182},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.4216446280479431},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.34132644534111023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13052093982696533},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10671958327293396}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.9357665777206421},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8849887847900391},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.8235613107681274},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.6994693279266357},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.6665911078453064},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.5529228448867798},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5264699459075928},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5036820769309998},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4931756854057312},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.46940743923187256},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.46756845712661743},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4225846827030182},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.4216446280479431},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.34132644534111023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13052093982696533},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10671958327293396},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1455229.1455230","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1455229.1455230","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.639.2334","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.2334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.imd.uni-rostock.de/veroeff/2009_1_23_a1-keinert.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W11388123","https://openalex.org/W71201158","https://openalex.org/W1492019883","https://openalex.org/W1557045817","https://openalex.org/W1572085513","https://openalex.org/W1582102176","https://openalex.org/W1746775577","https://openalex.org/W1963975008","https://openalex.org/W2031699358","https://openalex.org/W2034039853","https://openalex.org/W2043369852","https://openalex.org/W2054608565","https://openalex.org/W2098446307","https://openalex.org/W2108315572","https://openalex.org/W2111307259","https://openalex.org/W2120235301","https://openalex.org/W2128044538","https://openalex.org/W2132336619","https://openalex.org/W2140460152","https://openalex.org/W2141480229","https://openalex.org/W2148740615","https://openalex.org/W2150408604","https://openalex.org/W2154300023","https://openalex.org/W2159991496","https://openalex.org/W2168321554","https://openalex.org/W2547044811","https://openalex.org/W4240141551","https://openalex.org/W4242172176","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2790192245","https://openalex.org/W3206586607","https://openalex.org/W1996984607","https://openalex.org/W2159088510","https://openalex.org/W2548514518","https://openalex.org/W2170029576","https://openalex.org/W2059569687","https://openalex.org/W2975035977","https://openalex.org/W2146455550","https://openalex.org/W2579932084"],"abstract_inverted_index":{"With":[0],"increasing":[1],"design":[2,11,105,113,118],"complexity,":[3],"the":[4,93,103,133,138,145,163],"gap":[5],"from":[6,36,85,132,154,215],"ESL":[7,52,67,167],"(Electronic":[8],"System":[9],"Level)":[10],"to":[12,20,30,69,81,218],"RTL":[13,34],"synthesis":[14,27,53,99,140,168],"becomes":[15],"more":[16,18],"and":[17,40,101,137,191,210],"crucial":[19],"many":[21],"industrial":[22],"projects.":[23],"Although":[24],"several":[25,82],"behavioral":[26,88,98,135,139],"tools":[28],"exist":[29],"automatically":[31,70,91,130,189],"generate":[32],"synthesizable":[33],"code":[35],"C/C++/SystemC-based":[37],"input":[38],"descriptions":[39],"software":[41],"generation":[42,147,173],"for":[43,151,226],"embedded":[44],"processors":[45],"is":[46,57,120,162],"automated":[47,166],"as":[48],"well,":[49],"an":[50],"efficient":[51],"methodology":[54],"combining":[55],"both":[56],"still":[58],"missing.":[59],"This":[60],"article":[61],"presents":[62],"SystemCoDesigner,":[63],"a":[64,72,86,97,116,171,179,182,185,230],"novel":[65],"SystemC-based":[66],"tool":[68,169],"optimize":[71],"hardware/software":[73,175],"SoC":[74,158,176,197],"(System":[75],"on":[76,200,229],"Chip)":[77],"implementation":[78],"with":[79],"respect":[80],"objectives.":[83],"Starting":[84],"SystemC":[87,134],"model,":[89,95],"SystemCoDesigner":[90,143,161],"extracts":[92],"mathematical":[94],"performs":[96],"step,":[100],"explores":[102],"multiobjective":[104,109],"space":[106,114],"using":[107,193],"state-of-the-art":[108],"optimization":[110],"algorithms.":[111],"During":[112],"exploration,":[115],"single":[117],"point":[119],"evaluated":[121],"by":[122],"simulating":[123],"highly":[124],"accurate":[125],"performance":[126,225],"models,":[127],"which":[128],"are":[129],"generated":[131],"model":[136,183,202],"results.":[141],"Moreover,":[142],"permits":[144],"automatic":[146],"of":[148,174,184],"bit":[149],"streams":[150,228],"FPGA":[152],"targets":[153],"any":[155],"previously":[156],"optimized":[157,190],"implementation.":[159],"Thus":[160],"first":[164],"fully":[165],"providing":[170],"correct-by-construction":[172],"implementations.":[177],"As":[178],"case":[180],"study,":[181],"Motion-JPEG":[186],"decoder":[187],"was":[188],"implemented":[192],"SystemCoDesigner.":[194],"Several":[195],"synthesized":[196],"variants":[198],"based":[199],"this":[201],"show":[203],"different":[204],"tradeoffs":[205],"between":[206],"required":[207],"hardware":[208,220],"costs":[209],"achieved":[211],"system":[212],"throughput,":[213],"ranging":[214],"software-only":[216],"solutions":[217],"pure":[219],"implementations":[221],"that":[222],"reach":[223],"real-time":[224],"QCIF":[227],"50MHz":[231],"FPGA.":[232]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":20},{"year":2016,"cited_by_count":20},{"year":2015,"cited_by_count":16},{"year":2014,"cited_by_count":24},{"year":2013,"cited_by_count":33},{"year":2012,"cited_by_count":24}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}