{"id":"https://openalex.org/W4237147851","doi":"https://doi.org/10.1109/iccad.2017.8203799","title":"Enabling exact delay synthesis","display_name":"Enabling exact delay synthesis","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W4237147851","doi":"https://doi.org/10.1109/iccad.2017.8203799"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2017.8203799","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2017.8203799","pdf_url":null,"source":{"id":"https://openalex.org/S4363608376","display_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/233721","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023405941","display_name":"Luca Amar\u00f9","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luca Amaru","raw_affiliation_strings":["Synopsys Inc., Design Group, Sunnyvale, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Synopsys Inc., Design Group, Sunnyvale, California, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084007478","display_name":"Mathias Soeken","orcid":"https://orcid.org/0000-0002-0229-8766"},"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":"Mathias Soeken","raw_affiliation_strings":["EPFL, Integrated systems Laboratory, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Integrated systems Laboratory, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006756374","display_name":"Patrick Vuillod","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick Vuillod","raw_affiliation_strings":["Synopsys Inc., Design Group, Sunnyvale, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Synopsys Inc., Design Group, Sunnyvale, California, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015217224","display_name":"Jiong Luo","orcid":"https://orcid.org/0009-0006-2158-5804"},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiong Luo","raw_affiliation_strings":["Synopsys Inc., Design Group, Sunnyvale, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Synopsys Inc., Design Group, Sunnyvale, California, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110450560","display_name":"Alan Mishchenko","orcid":"https://orcid.org/0009-0004-1303-6261"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan Mishchenko","raw_affiliation_strings":["Department of EECS, UC Berkeley, Berkeley, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002568331","display_name":"Pierre\u2010Emmanuel Gaillardon","orcid":"https://orcid.org/0000-0003-3634-3999"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pierre-Emmanuel Gaillardon","raw_affiliation_strings":["LNIS, University of Utah, Salt Lake City, Utah, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LNIS, University of Utah, Salt Lake City, Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056936470","display_name":"Janet Olson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Janet Olson","raw_affiliation_strings":["Synopsys Inc., Design Group, Sunnyvale, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Synopsys Inc., Design Group, Sunnyvale, California, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064568178","display_name":"Robert K. Brayton","orcid":"https://orcid.org/0000-0002-3861-1718"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Brayton","raw_affiliation_strings":["Department of EECS, UC Berkeley, Berkeley, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072927296","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215"},"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":"Giovanni De Micheli","raw_affiliation_strings":["EPFL, Integrated systems Laboratory, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Integrated systems Laboratory, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"352","last_page":"359"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","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/T10472","display_name":"Semiconductor materials and devices","score":0.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.6856364607810974},{"id":"https://openalex.org/keywords/elmore-delay","display_name":"Elmore delay","score":0.647144079208374},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6094930171966553},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4840187728404999},{"id":"https://openalex.org/keywords/delay-calculation","display_name":"Delay calculation","score":0.48371392488479614},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.4800644814968109},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4560217559337616},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4467077851295471},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.44054919481277466},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.43116992712020874},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.340136855840683},{"id":"https://openalex.org/keywords/propagation-delay","display_name":"Propagation delay","score":0.32559216022491455},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25998470187187195},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.16827312111854553},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.10918891429901123}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6856364607810974},{"id":"https://openalex.org/C84434228","wikidata":"https://www.wikidata.org/wiki/Q4531332","display_name":"Elmore delay","level":4,"score":0.647144079208374},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6094930171966553},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4840187728404999},{"id":"https://openalex.org/C174086752","wikidata":"https://www.wikidata.org/wiki/Q5253471","display_name":"Delay calculation","level":3,"score":0.48371392488479614},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.4800644814968109},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4560217559337616},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4467077851295471},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.44054919481277466},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.43116992712020874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.340136855840683},{"id":"https://openalex.org/C90806461","wikidata":"https://www.wikidata.org/wiki/Q1144416","display_name":"Propagation delay","level":2,"score":0.32559216022491455},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25998470187187195},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16827312111854553},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.10918891429901123},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iccad.2017.8203799","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2017.8203799","pdf_url":null,"source":{"id":"https://openalex.org/S4363608376","display_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:233721","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/233721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:233721","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/record/233721/files/2017_iccad.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:233721","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/233721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320915","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1526394790","https://openalex.org/W1578592046","https://openalex.org/W1738355368","https://openalex.org/W1776822698","https://openalex.org/W1896033403","https://openalex.org/W1996198117","https://openalex.org/W2036325507","https://openalex.org/W2042416271","https://openalex.org/W2049016755","https://openalex.org/W2056693747","https://openalex.org/W2080267935","https://openalex.org/W2093176534","https://openalex.org/W2100465945","https://openalex.org/W2106950603","https://openalex.org/W2123191020","https://openalex.org/W2124786832","https://openalex.org/W2125803098","https://openalex.org/W2129183345","https://openalex.org/W2153484041","https://openalex.org/W2169700803","https://openalex.org/W2242458479","https://openalex.org/W2587513648","https://openalex.org/W2587961233","https://openalex.org/W2590761278","https://openalex.org/W2612536903","https://openalex.org/W2752061190","https://openalex.org/W3145367831","https://openalex.org/W3148005990","https://openalex.org/W6649256280","https://openalex.org/W6690302409","https://openalex.org/W6733787010"],"related_works":["https://openalex.org/W2145535176","https://openalex.org/W1570180536","https://openalex.org/W4229446324","https://openalex.org/W2158805860","https://openalex.org/W1804063983","https://openalex.org/W2134944363","https://openalex.org/W2122901855","https://openalex.org/W2087387686","https://openalex.org/W3140640533","https://openalex.org/W2117925677"],"abstract_inverted_index":{"Given":[0],"(i)":[1],"a":[2,6,16,30,58,113,211],"Boolean":[3,59,136,181],"function,":[4,60],"(ii)":[5],"set":[7,115],"of":[8,57,99,116,159,170,190],"arrival":[9,36,49,67,101,109,145,151],"times":[10,68],"at":[11,38,232],"the":[12,23,35,39,54,78,97,127,157,191,196,223],"inputs,":[13],"and":[14,71,89,142,180,235],"(iii)":[15],"gate":[17],"library":[18],"with":[19,46,172],"associated":[20],"delay":[21,25,43,80,93,131,166,177,199,219],"values,":[22],"exact":[24,42,79,92,130,176,218],"synthesis":[26,44,81,167,200,220],"problem":[27],"asks":[28],"for":[29,91,126,215],"circuit":[31,132],"implementation":[32],"which":[33,61,103,155],"minimizes":[34],"time":[37,110,129,146,152],"output(s).":[40],"The":[41],"problem,":[45],"given":[47],"input":[48],"times,":[50,102],"relates":[51],"to":[52,106,120,139,207],"computing":[53],"communication":[55],"complexity":[56],"is":[62],"an":[63,164],"intractable":[64],"problem.":[65],"Input":[66],"are":[69],"variable":[70],"can":[72],"take":[73],"any":[74],"value,":[75],"thereby":[76],"making":[77],"search":[82],"space":[83],"infinite.":[84],"This":[85],"paper":[86],"presents":[87],"theory":[88,98],"algorithms":[90],"synthesis.":[94],"We":[95,148,162,187],"introduce":[96],"equioptimizable":[100],"allows":[104],"us":[105],"partition":[107],"all":[108,135,143],"patterns":[111],"into":[112],"finite":[114],"equivalence":[117],"classes.":[118],"Thanks":[119],"this":[121],"new":[122],"theory,":[123],"we":[124],"create":[125],"first":[128],"databases":[133],"covering":[134],"functions":[137],"up":[138,206],"5":[140],"variables":[141],"possible":[144],"patterns.":[147],"describe":[149],"further":[150],"compression":[153],"techniques":[154,221],"enable":[156],"creation":[158],"larger":[160],"databases.":[161],"propose":[163],"enhanced":[165],"flow":[168,214],"capable":[169],"dealing":[171],"large":[173],"circuits,":[174],"combining":[175],"logic":[178],"rewriting":[179],"optimization":[182],"techniques,":[183],"attaining":[184],"unprecedented":[185],"results.":[186],"improve":[188],"9/10":[189],"best":[192,204],"known":[193],"results":[194,205],"in":[195,210],"EPFL":[197],"arithmetic":[198],"competition,":[201],"outperforming":[202],"previous":[203],"3x.":[208],"Embedded":[209],"commercial":[212],"EDA":[213],"ASICs,":[216],"our":[217],"reduce":[222],"total":[224],"negative":[225],"slack":[226],"by":[227],"12.17%,":[228],"after":[229],"physical":[230],"implementation,":[231],"negligible":[233],"area":[234],"runtime":[236],"costs.":[237]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2022-05-12T00:00:00"}