{"id":"https://openalex.org/W7163530288","doi":"https://doi.org/10.23919/date69613.2026.11539139","title":"Exact Synthesis with Optimal Switching Activity","display_name":"Exact Synthesis with Optimal Switching Activity","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W7163530288","doi":"https://doi.org/10.23919/date69613.2026.11539139"},"language":null,"primary_location":{"id":"doi:10.23919/date69613.2026.11539139","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date69613.2026.11539139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 Design, Automation & Test in Europe Conference (DATE)","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/A5008488084","display_name":"Marcel Walter","orcid":"https://orcid.org/0000-0001-5660-9518"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marcel Walter","raw_affiliation_strings":["Technical University of Munich,Chair for Design Automation,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair for Design Automation,Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137823393","display_name":"Michael Feldmeier","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Feldmeier","raw_affiliation_strings":["Technical University of Munich,Chair for Design Automation,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair for Design Automation,Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5137848372","display_name":"Robert Wille","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Robert Wille","raw_affiliation_strings":["Technical University of Munich,Chair for Design Automation,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair for Design Automation,Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.72706935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12653","display_name":"Cyclization and Aryne Chemistry","score":0.10279999673366547,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12653","display_name":"Cyclization and Aryne Chemistry","score":0.10279999673366547,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11445","display_name":"Origins and Evolution of Life","score":0.10080000013113022,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10548","display_name":"Catalytic Cross-Coupling Reactions","score":0.05920000001788139,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5703999996185303},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5368000268936157},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.4830000102519989},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.45719999074935913},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.44110000133514404},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.42890000343322754},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4260999858379364},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.4228000044822693},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4097999930381775}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5703999996185303},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5368000268936157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5271999835968018},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4830000102519989},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.45719999074935913},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.44110000133514404},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.42890000343322754},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4260999858379364},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.4228000044822693},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4097999930381775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40689998865127563},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.3887999951839447},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.35339999198913574},{"id":"https://openalex.org/C2984118289","wikidata":"https://www.wikidata.org/wiki/Q29954","display_name":"Power consumption","level":3,"score":0.3472999930381775},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.3425999879837036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3393999934196472},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.3328999876976013},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.32580000162124634},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C2988136883","wikidata":"https://www.wikidata.org/wiki/Q632037","display_name":"Switching power","level":3,"score":0.30230000615119934},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.29840001463890076},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.2939000129699707},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.2808000147342682},{"id":"https://openalex.org/C51297928","wikidata":"https://www.wikidata.org/wiki/Q7001207","display_name":"Network synthesis filters","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.27000001072883606},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.2614000141620636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date69613.2026.11539139","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date69613.2026.11539139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 Design, Automation & Test in Europe Conference (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":21,"referenced_works":["https://openalex.org/W1505590927","https://openalex.org/W1980152358","https://openalex.org/W2050779425","https://openalex.org/W2080267935","https://openalex.org/W2100609826","https://openalex.org/W2105761964","https://openalex.org/W2145633150","https://openalex.org/W2164875860","https://openalex.org/W2166243422","https://openalex.org/W2326003890","https://openalex.org/W2588979191","https://openalex.org/W2590761278","https://openalex.org/W2612845845","https://openalex.org/W2798373485","https://openalex.org/W2799013413","https://openalex.org/W2913953585","https://openalex.org/W3128546729","https://openalex.org/W4237147851","https://openalex.org/W4255086862","https://openalex.org/W4393146733","https://openalex.org/W4416429551"],"related_works":[],"abstract_inverted_index":{"Power":[0],"consumption":[1],"is":[2],"a":[3,15,47,156],"primary":[4],"constraint":[5],"in":[6,58,117,126],"modern":[7],"digital":[8],"circuit":[9],"design,":[10],"with":[11,143],"switching":[12,42,56,80,131],"activity":[13,57,132],"being":[14],"major":[16],"contributor":[17],"to":[18,54,75,134],"dynamic":[19],"power":[20],"dissipation.":[21],"While":[22,149],"exact":[23,50,136,160],"synthesis":[24,51,137],"methods":[25],"guarantee":[26],"optimality":[27],"for":[28,67,92,158],"metrics":[29],"such":[30],"as":[31,96,98],"gate":[32],"count":[33],"or":[34,145],"delay,":[35],"they":[36],"typically":[37],"do":[38],"not":[39],"directly":[40],"target":[41],"activity.":[43],"This":[44],"paper":[45],"presents":[46],"novel":[48],"SAT-based":[49],"approach":[52],"designed":[53],"minimize":[55],"combinational":[59],"logic":[60,68],"circuits.":[61],"We":[62],"extend":[63],"existing":[64],"SAT":[65,86],"encodings":[66],"synthesis,":[69],"incorporating":[70],"new":[71],"constraints":[72],"and":[73,77],"variables":[74],"model":[76],"constrain":[78],"the":[79,83,111,114,127],"behavior":[81],"of":[82,113],"circuit.":[84],"Different":[85],"encoding":[87],"strategies,":[88],"including":[89],"BDD-based":[90],"approaches":[91],"handling":[93],"cardinality":[94],"constraints,":[95],"well":[97],"various":[99],"search":[100],"algorithms,":[101],"are":[102],"explored.":[103],"Experimental":[104],"results":[105],"on":[106,121],"NPN":[107],"benchmark":[108],"functions":[109],"demonstrate":[110],"effectiveness":[112],"proposed":[115],"method":[116],"identifying":[118],"circuits":[119],"with,":[120],"average,":[122],"6.7%":[123],"(over":[124],"30%":[125],"best":[128],"case)":[129],"reduced":[130],"compared":[133],"traditional":[135],"techniques,":[138],"often":[139],"achieving":[140],"this":[141,153],"reduction":[142],"no":[144],"minimal":[146],"area":[147],"overhead.":[148],"runtime":[150],"remains":[151],"challenging,":[152],"work":[154],"establishes":[155],"foundation":[157],"power-aware":[159],"synthesis.":[161]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-06-05T00:00:00"}