{"id":"https://openalex.org/W2014172341","doi":"https://doi.org/10.1109/acssc.2013.6810303","title":"Automated circuit elaboration from incomplete architectural descriptions","display_name":"Automated circuit elaboration from incomplete architectural descriptions","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2014172341","doi":"https://doi.org/10.1109/acssc.2013.6810303","mag":"2014172341"},"language":"en","primary_location":{"id":"doi:10.1109/acssc.2013.6810303","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acssc.2013.6810303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Asilomar Conference on Signals, Systems and Computers","raw_type":"proceedings-article"},"type":"conference-paper","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/A5039907881","display_name":"Andrew Becker","orcid":"https://orcid.org/0000-0001-5406-5545"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Andrew Becker","raw_affiliation_strings":["Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland","Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL); School of Computer and Communication Sciences; CH-1015 Lausanne Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL); School of Computer and Communication Sciences; CH-1015 Lausanne Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102760981","display_name":"David Novo","orcid":"https://orcid.org/0000-0002-5510-4152"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"David Novo","raw_affiliation_strings":["Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland","Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL); School of Computer and Communication Sciences; CH-1015 Lausanne Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL); School of Computer and Communication Sciences; CH-1015 Lausanne Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020575991","display_name":"Paolo Ienne","orcid":"https://orcid.org/0000-0002-6142-7345"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Paolo Ienne","raw_affiliation_strings":["Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland","Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL); School of Computer and Communication Sciences; CH-1015 Lausanne Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL); School of Computer and Communication Sciences; CH-1015 Lausanne Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"391","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/elaboration","display_name":"Elaboration","score":0.8142344951629639},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6812174916267395},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39365655183792114},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.07085302472114563}],"concepts":[{"id":"https://openalex.org/C2779192218","wikidata":"https://www.wikidata.org/wiki/Q16944486","display_name":"Elaboration","level":2,"score":0.8142344951629639},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6812174916267395},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39365655183792114},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.07085302472114563},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acssc.2013.6810303","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acssc.2013.6810303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Asilomar Conference on Signals, Systems and Computers","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1963965124","https://openalex.org/W1983394510","https://openalex.org/W2002510558","https://openalex.org/W2168493238","https://openalex.org/W2168543008","https://openalex.org/W2276356546","https://openalex.org/W4245576734"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2360463189","https://openalex.org/W2243483294","https://openalex.org/W2737431228","https://openalex.org/W3152809308","https://openalex.org/W2022412634","https://openalex.org/W4238533886","https://openalex.org/W2133995770","https://openalex.org/W2067521059"],"abstract_inverted_index":{"Arithmetic":[0],"circuits":[1,14],"are":[2,68,130],"some":[3],"of":[4,46,77,140],"the":[5,43,59,110,124,128,134,138,141,159],"most":[6],"common":[7],"circuits,":[8],"yet":[9],"building":[10],"generators":[11],"for":[12,118,123],"these":[13],"is":[15,62,101],"usually":[16],"both":[17],"ad-hoc":[18],"and":[19,41,64,66,92],"error-prone.":[20],"Often,":[21],"generator":[22,56,135],"designers":[23,67,85],"do":[24],"not":[25],"directly":[26],"use":[27,33],"Register":[28],"Transfer":[29],"Languages,":[30],"but":[31],"instead":[32],"scripting":[34],"languages":[35],"(e.g.,":[36],"Perl)":[37],"to":[38,55,73,154],"generate":[39],"RTL":[40,48],"overcome":[42],"limited":[44],"expressivity":[45],"typical":[47,75],"languages.":[49],"We":[50],"present":[51],"a":[52,94,97],"new":[53],"approach":[54,115,145],"construction,":[57],"where":[58,84],"design":[60,89,100],"language":[61],"natural":[63],"expressive,":[65],"provided":[69],"with":[70,113],"special":[71],"facilities":[72],"alleviate":[74],"sources":[76],"errors.":[78],"This":[79,144],"builds":[80],"on":[81],"previous":[82],"work,":[83],"write":[86],"an":[87,114],"incomplete":[88],"(a":[90],"sketch)":[91],"provide":[93],"functional":[95],"reference;":[96],"complete,":[98],"correct":[99],"then":[102],"synthesized.":[103],"Notably,":[104],"we":[105],"address":[106],"scalability":[107],"problems":[108],"in":[109,127,147],"general":[111],"case":[112],"tailored":[116],"specifically":[117],"arithmetic":[119],"generators:":[120],"satisfying":[121],"values":[122],"uncertainties":[125],"inserted":[126],"designs":[129],"discovered":[131],"incrementally":[132],"as":[133],"parameters":[136],"grow":[137],"size":[139],"generated":[142],"circuits.":[143],"results":[146],"significantly":[148],"reduced":[149],"solution":[150],"times,":[151],"sometimes":[152],"up":[153],"25":[155],"times":[156],"faster":[157],"than":[158],"na\u0131\u201dve":[160],"strategy.":[161]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}