{"id":"https://openalex.org/W4255867718","doi":"https://doi.org/10.1109/iccad.2014.7001392","title":"Constrained interpolation for guided logic synthesis","display_name":"Constrained interpolation for guided logic synthesis","publication_year":2014,"publication_date":"2014-11-01","ids":{"openalex":"https://openalex.org/W4255867718","doi":"https://doi.org/10.1109/iccad.2014.7001392"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2014.7001392","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2014.7001392","pdf_url":null,"source":{"id":"https://openalex.org/S4363608466","display_name":"2014 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":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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/A5088979427","display_name":"Ana Petkovska","orcid":null},"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":"Ana Petkovska","raw_affiliation_strings":["Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), School of Computer and Communication Sciences, 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"]}]},{"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"],"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"]}]},{"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, University of California, Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"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"],"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"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"cad 28","issue":null,"first_page":"462","last_page":"469"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9986000061035156,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9986000061035156,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9962000250816345,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9937000274658203,"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/dependency","display_name":"Dependency (UML)","score":0.7207074165344238},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.689560055732727},{"id":"https://openalex.org/keywords/interpolation","display_name":"Interpolation (computer graphics)","score":0.6828835606575012},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.642816424369812},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5482346415519714},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5089564323425293},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4819719195365906},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.42766374349594116},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39957892894744873},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1943945288658142},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08544006943702698}],"concepts":[{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.7207074165344238},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.689560055732727},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.6828835606575012},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.642816424369812},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5482346415519714},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5089564323425293},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4819719195365906},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.42766374349594116},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39957892894744873},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1943945288658142},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08544006943702698},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2014.7001392","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2014.7001392","pdf_url":null,"source":{"id":"https://openalex.org/S4363608466","display_name":"2014 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":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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":20,"referenced_works":["https://openalex.org/W1510368738","https://openalex.org/W1518705996","https://openalex.org/W1549449731","https://openalex.org/W2044095368","https://openalex.org/W2068422506","https://openalex.org/W2098244894","https://openalex.org/W2108578145","https://openalex.org/W2114381689","https://openalex.org/W2133527541","https://openalex.org/W2140720897","https://openalex.org/W2148392148","https://openalex.org/W2151101009","https://openalex.org/W2158135227","https://openalex.org/W4233996121","https://openalex.org/W4246399691","https://openalex.org/W4253586833","https://openalex.org/W6630511988","https://openalex.org/W6651949821","https://openalex.org/W6658119185","https://openalex.org/W6665376055"],"related_works":["https://openalex.org/W2142822162","https://openalex.org/W2067317451","https://openalex.org/W4211085505","https://openalex.org/W2154771632","https://openalex.org/W2084758217","https://openalex.org/W3122478268","https://openalex.org/W408804804","https://openalex.org/W3086365953","https://openalex.org/W2367390169","https://openalex.org/W2383918176"],"abstract_inverted_index":{"Craig":[0,146,216],"interpolation":[1,65,217],"is":[2,66,96,137],"a":[3,8,13,16,104,113,117,126,130,134,140,170,175,186,207],"known":[4],"method":[5,114,171,221],"for":[6,62,86,148,155,190,256],"expressing":[7],"target":[9,92,194],"function":[10,14,29,120,136,189,195],"f":[11,33],"as":[12,125,139,192,238],"of":[15,19,48,90,129,143,151,178,196,206,245],"given":[17],"set":[18,38,177],"base":[20,42,58,78,106,119,179,208,227],"functions":[21,43,51,59,79,228],"G.":[22],"The":[23,64,249],"resulting":[24],"interpolant":[25,102],"represents":[26],"the":[27,37,46,91,101,149,152,193,197,204,214,225,246],"dependency":[28,50,131,135,188],"h,":[30],"such":[31],"that":[32,100,115,172],"=":[34],"h(G).":[35],"Generally,":[36],"G":[39],"contains":[40],"enough":[41],"to":[44,98,162,202,223],"enable":[45],"existence":[47],"multiple":[49],"whose":[52],"quality":[53],"mainly":[54],"depends":[55],"on":[56],"which":[57,156],"were":[60],"selected":[61],"reconstruction.":[63],"not":[67],"an":[68,87],"optimisation":[69],"problem":[70],"and":[71,164],"thus,":[72],"often,":[73],"it":[74,95],"selects":[75],"some":[76,260],"random":[77],"and,":[80],"particularly,":[81],"omits":[82],"others":[83],"potentially":[84],"required":[85],"optimal":[88],"implementation":[89],"function.":[93,107,132,209],"Mainly,":[94],"impossible":[97],"impose":[99,224],"uses":[103],"specific":[105,118],"In":[108,181],"this":[109],"paper,":[110],"we":[111,184],"propose":[112],"forces":[116],"g":[121,157],"<sub":[122,158],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[123,159],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">i</sub>":[124,160],"primary":[127,153],"input":[128,247],"Such":[133],"built":[138],"Shannon":[141],"expansion":[142],"two":[144],"constrained":[145],"interpolants":[147],"assignments":[150],"inputs":[154],"evaluates":[161],"0":[163],"1,":[165],"respectively.":[166],"We":[167,210],"also":[168],"introduce":[169],"iteratively":[173],"imposes":[174],"predefined":[176],"functions.":[180],"each":[182],"iteration,":[183],"generate":[185],"new":[187],"use":[191,205],"next":[198],"iteration":[199],"in":[200,259],"order":[201],"force":[203],"show":[211],"that,":[212],"unlike":[213],"standard":[215],"method,":[218],"our":[219],"carving":[220],"succeeds":[222],"desired":[226],"with":[229],"very":[230],"high":[231],"probability.":[232],"It":[233],"recomposes":[234],"single-output":[235],"logic":[236],"circuits":[237,258],"their":[239],"delay-":[240],"or":[241],"area-optimised":[242],"implementations":[243],"regardless":[244],"implementation.":[248],"proposed":[250],"methods":[251],"can":[252],"be":[253],"efficiently":[254],"employed":[255],"rewriting":[257],"synthesis-based":[261],"algorithms.":[262]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}