{"id":"https://openalex.org/W3036666396","doi":"https://doi.org/10.23919/date48585.2020.9116459","title":"Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations","display_name":"Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations","publication_year":2020,"publication_date":"2020-03-01","ids":{"openalex":"https://openalex.org/W3036666396","doi":"https://doi.org/10.23919/date48585.2020.9116459","mag":"3036666396"},"language":"en","primary_location":{"id":"doi:10.23919/date48585.2020.9116459","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date48585.2020.9116459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-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/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089227518","display_name":"Yusuke Kimura","orcid":"https://orcid.org/0000-0003-2728-0017"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yusuke Kimura","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088353502","display_name":"Xingming Le","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Xingming Le","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079108909","display_name":"Yukio Miyasaka","orcid":"https://orcid.org/0000-0002-7960-9913"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yukio Miyasaka","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053471252","display_name":"Amir Masoud Gharehbaghi","orcid":"https://orcid.org/0000-0002-0451-221X"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Amir Masoud Gharehbaghi","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5027837299"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.1407,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50813134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"744","last_page":"749"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9965999722480774,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9948999881744385,"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/boolean-function","display_name":"Boolean function","score":0.7275552153587341},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6397373676300049},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5663745999336243},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5411583185195923},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5200252532958984},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4973621666431427},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.49262744188308716},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4861876368522644},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.4650496244430542},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.4600493907928467},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.4530108869075775},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4399884343147278},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4221891462802887},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.41741710901260376},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4105769395828247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35428494215011597},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3317019045352936},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10400846600532532},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.08991479873657227},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08547139167785645}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7275552153587341},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6397373676300049},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5663745999336243},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5411583185195923},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5200252532958984},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4973621666431427},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.49262744188308716},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4861876368522644},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4650496244430542},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.4600493907928467},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.4530108869075775},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4399884343147278},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4221891462802887},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.41741710901260376},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4105769395828247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35428494215011597},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3317019045352936},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10400846600532532},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.08991479873657227},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08547139167785645},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date48585.2020.9116459","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date48585.2020.9116459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W1931835055","https://openalex.org/W2014319462","https://openalex.org/W2071529508","https://openalex.org/W2100300803","https://openalex.org/W2170345039","https://openalex.org/W2295683841","https://openalex.org/W2564787410","https://openalex.org/W2610622430","https://openalex.org/W4235567996","https://openalex.org/W4239546712","https://openalex.org/W4243754499","https://openalex.org/W6696851094"],"related_works":["https://openalex.org/W2150974517","https://openalex.org/W1939541994","https://openalex.org/W818963952","https://openalex.org/W2072840391","https://openalex.org/W2018106661","https://openalex.org/W2039140951","https://openalex.org/W2107594749","https://openalex.org/W2125277664","https://openalex.org/W2146663621","https://openalex.org/W4240821575"],"abstract_inverted_index":{"Engineering":[0],"Change":[1],"Order":[2],"(ECO)":[3],"and":[4,24,84],"logic":[5,88],"debugging":[6],"problems":[7,90],"where":[8],"multiple":[9],"locations":[10],"in":[11],"the":[12,32,40,61,70],"circuit":[13],"must":[14],"be":[15,57],"modified":[16],"are":[17,91],"formulated":[18],"with":[19],"Quantified":[20],"Boolean":[21,77],"Function":[22],"(QBF)":[23],"set-sovering":[25],"techniques.":[26],"The":[27],"formulation":[28,42],"is":[29,47,66],"based":[30],"on":[31],"fanin":[33],"selection":[34],"method":[35],"for":[36,43,73],"each":[37],"gate.":[38],"Although":[39],"resulting":[41],"single":[44],"portion":[45],"changes":[46,72],"basically":[48],"equivalent":[49],"to":[50,56,86],"Sets":[51],"of":[52,54,63,80],"Pairs":[53],"Functions":[55],"Distinguished":[58],"(SPFD)":[59],"[3],":[60],"way":[62],"its":[64],"computations":[65],"quite":[67],"different.":[68],"Moreover,":[69],"simultaneous":[71],"multipl":[74],"portions":[75],"becomes":[76],"Relation":[78],"extension":[79],"SPFD.":[81],"Experimental":[82],"results":[83],"applications":[85],"various":[87],"optimization":[89],"also":[92],"shown.":[93]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}