{"id":"https://openalex.org/W2954164878","doi":"https://doi.org/10.1109/tcad.2019.2925392","title":"Advanced Functional Decomposition Using Majority and Its Applications","display_name":"Advanced Functional Decomposition Using Majority and Its Applications","publication_year":2019,"publication_date":"2019-06-27","ids":{"openalex":"https://openalex.org/W2954164878","doi":"https://doi.org/10.1109/tcad.2019.2925392","mag":"2954164878"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2019.2925392","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2925392","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/handle/20.500.14299/170593","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022156184","display_name":"Zhufei Chu","orcid":"https://orcid.org/0000-0001-5718-4822"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhufei Chu","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"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":["Integrated Systems Laboratory, \u00c9cole Polytechnique F\u00e9d\u00e9derale de Lausanne, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Integrated Systems Laboratory, \u00c9cole Polytechnique F\u00e9d\u00e9derale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070614875","display_name":"Yinshui Xia","orcid":"https://orcid.org/0000-0002-3831-3876"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinshui Xia","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037201336","display_name":"Lunyao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lunyao Wang","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"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":["Integrated Systems Laboratory, \u00c9cole Polytechnique F\u00e9d\u00e9derale de Lausanne, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Integrated Systems Laboratory, \u00c9cole Polytechnique F\u00e9d\u00e9derale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5022156184"],"corresponding_institution_ids":["https://openalex.org/I109935558"],"apc_list":null,"apc_paid":null,"fwci":1.1639,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.80650375,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"39","issue":"8","first_page":"1621","last_page":"1634"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9998000264167786,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9998000264167786,"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/T10472","display_name":"Semiconductor materials and devices","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/T10558","display_name":"Advancements in Semiconductor Devices and Circuit Design","score":0.9991000294685364,"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/multiplexer","display_name":"Multiplexer","score":0.7716630697250366},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.6993626952171326},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6770641803741455},{"id":"https://openalex.org/keywords/lookup-table","display_name":"Lookup table","score":0.5364364385604858},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5300671458244324},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5225733518600464},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.5167233347892761},{"id":"https://openalex.org/keywords/xor-gate","display_name":"XOR gate","score":0.46378836035728455},{"id":"https://openalex.org/keywords/functional-decomposition","display_name":"Functional decomposition","score":0.4431619346141815},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.4424666464328766},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.442313015460968},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4206351637840271},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.41571447253227234},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.4095572233200073},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3884526491165161},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23780664801597595},{"id":"https://openalex.org/keywords/multiplexing","display_name":"Multiplexing","score":0.12054798007011414},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.09546303749084473}],"concepts":[{"id":"https://openalex.org/C70970002","wikidata":"https://www.wikidata.org/wiki/Q189434","display_name":"Multiplexer","level":3,"score":0.7716630697250366},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6993626952171326},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6770641803741455},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.5364364385604858},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5300671458244324},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5225733518600464},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.5167233347892761},{"id":"https://openalex.org/C28495749","wikidata":"https://www.wikidata.org/wiki/Q155516","display_name":"XOR gate","level":3,"score":0.46378836035728455},{"id":"https://openalex.org/C12145135","wikidata":"https://www.wikidata.org/wiki/Q5215396","display_name":"Functional decomposition","level":2,"score":0.4431619346141815},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.4424666464328766},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.442313015460968},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4206351637840271},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.41571447253227234},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4095572233200073},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3884526491165161},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23780664801597595},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.12054798007011414},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.09546303749084473},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2019.2925392","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2925392","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:279037","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/170593","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":"WoS","raw_type":"research article"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:279037","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/170593","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":"WoS","raw_type":"research article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3592851222","display_name":null,"funder_award_id":"200021-169084 MAJesty","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G4900995696","display_name":null,"funder_award_id":"61871242","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6071054343","display_name":null,"funder_award_id":"61571248","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8452445328","display_name":null,"funder_award_id":"H2020-ERC-2014-ADG 669354 CyberCare","funder_id":"https://openalex.org/F4320322605","funder_display_name":"Ningbo University"}],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322605","display_name":"Ningbo University","ror":"https://ror.org/03et85d35"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W63099516","https://openalex.org/W1496641256","https://openalex.org/W1526394790","https://openalex.org/W1528837436","https://openalex.org/W1580644535","https://openalex.org/W1776822698","https://openalex.org/W1896033403","https://openalex.org/W1918485682","https://openalex.org/W1974711669","https://openalex.org/W1978551391","https://openalex.org/W1985663731","https://openalex.org/W1986881964","https://openalex.org/W1995135231","https://openalex.org/W2008132364","https://openalex.org/W2020076393","https://openalex.org/W2034827359","https://openalex.org/W2035561773","https://openalex.org/W2063730370","https://openalex.org/W2079080093","https://openalex.org/W2079294297","https://openalex.org/W2100465945","https://openalex.org/W2100955320","https://openalex.org/W2115016520","https://openalex.org/W2116181020","https://openalex.org/W2119748374","https://openalex.org/W2129183345","https://openalex.org/W2138118117","https://openalex.org/W2140727935","https://openalex.org/W2140975144","https://openalex.org/W2144932183","https://openalex.org/W2159034123","https://openalex.org/W2169757251","https://openalex.org/W2212327366","https://openalex.org/W2243301874","https://openalex.org/W2254450385","https://openalex.org/W2323419649","https://openalex.org/W2482661504","https://openalex.org/W2535844537","https://openalex.org/W2542198109","https://openalex.org/W2560531073","https://openalex.org/W2583971000","https://openalex.org/W2587513648","https://openalex.org/W2587804194","https://openalex.org/W2590761278","https://openalex.org/W2727817250","https://openalex.org/W2791509505","https://openalex.org/W2805284819","https://openalex.org/W2970034100","https://openalex.org/W3143673400","https://openalex.org/W3148005990","https://openalex.org/W4238447514","https://openalex.org/W4239323126","https://openalex.org/W4244971461","https://openalex.org/W4250065760","https://openalex.org/W4255086862","https://openalex.org/W6602591659","https://openalex.org/W6629585307","https://openalex.org/W6676978934","https://openalex.org/W6751522439","https://openalex.org/W6767874552","https://openalex.org/W7033084194"],"related_works":["https://openalex.org/W2157535420","https://openalex.org/W4231267350","https://openalex.org/W2159724425","https://openalex.org/W2117956479","https://openalex.org/W4255564979","https://openalex.org/W2053477566","https://openalex.org/W2163861263","https://openalex.org/W3140306724","https://openalex.org/W1552215787","https://openalex.org/W2744202010"],"abstract_inverted_index":{"Typical":[0],"operators":[1],"for":[2,102],"the":[3,16,28,37,49,67,147,159,165],"decomposition":[4,24,34,58],"of":[5,39,56,111,136,153],"Boolean":[6],"functions":[7],"in":[8,48,93],"state-of-the-art":[9,127],"algorithms":[10,128],"are":[11],"AND,":[12],"exclusive-OR":[13],"(XOR),":[14],"and":[15,83,108,155,168],"2-to-1":[17],"multiplexer":[18],"(MUX).":[19],"We":[20],"propose":[21],"a":[22,33,57,74],"logic":[23,41,87],"algorithm":[25,53,68,120],"that":[26,118,146],"uses":[27],"majority-of-three":[29],"(MAJ)":[30],"operation.":[31],"Such":[32],"can":[35,69],"extend":[36],"capabilities":[38],"current":[40],"decompositions,":[42],"but":[43],"only":[44,86],"found":[45],"limited":[46],"attention":[47],"previous":[50],"work.":[51],"Our":[52],"make":[54],"use":[55],"rule":[59],"based":[60,129],"on":[61,130,158],"MAJ.":[62],"Combined":[63],"with":[64],"disjoint-support":[65],"decomposition,":[66],"factorize":[70],"XOR-majority":[71],"graphs":[72],"(XMGs),":[73],"recently":[75],"proposed":[76,148],"data":[77],"structure":[78],"which":[79,132],"has":[80],"XOR,":[81],"MAJ,":[82],"inverters":[84],"as":[85],"primitives.":[88],"XMGs":[89,124],"have":[90],"been":[91],"applied":[92,163],"various":[94],"applications,":[95],"including:":[96],"1)":[97],"exact-synthesis-aware":[98],"rewriting;":[99],"2)":[100],"preoptimization":[101],"6-input":[103],"look-up":[104],"table":[105],"(6-LUT)":[106],"mapping;":[107],"3)":[109],"synthesis":[110],"quantum":[112],"circuits.":[113],"An":[114],"experimental":[115],"evaluation":[116],"shows":[117],"our":[119,143],"leads":[121],"to":[122,126,164],"better":[123],"compared":[125],"XMGs,":[131],"positively":[133],"affects":[134],"all":[135],"these":[137],"three":[138],"applications.":[139],"As":[140],"one":[141],"example,":[142],"experiments":[144],"show":[145],"method":[149],"achieves":[150],"an":[151],"average":[152],"10%":[154],"26%":[156],"reduction":[157],"LUTs":[160],"size/depth":[161],"product":[162],"EPFL":[166],"arithmetic":[167],"random":[169],"control":[170],"benchmarks":[171],"after":[172],"technology":[173],"mapping,":[174],"respectively.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}