{"id":"https://openalex.org/W4238447514","doi":"https://doi.org/10.1109/aspdac.2018.8297400","title":"Functional decomposition using majority","display_name":"Functional decomposition using majority","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W4238447514","doi":"https://doi.org/10.1109/aspdac.2018.8297400"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2018.8297400","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2018.8297400","pdf_url":null,"source":{"id":"https://openalex.org/S4363608266","display_name":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","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":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","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/268578","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"]},{"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","CN"],"is_corresponding":false,"raw_author_name":"Zhufei Chu","raw_affiliation_strings":["EPFL, Integrated Systems Laboratory, Lausanne, Switzerland","Faculty of Electrical Engineering & Computer Science, Ningbo University, Ningbo, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Integrated Systems Laboratory, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Faculty of Electrical Engineering & 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":["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/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 & Computer Science, Ningbo University, Ningbo, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering & 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":["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":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9998999834060669,"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.9998999834060669,"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.9994000196456909,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9983999729156494,"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/decomposition","display_name":"Decomposition","score":0.7184736728668213},{"id":"https://openalex.org/keywords/multiplexer","display_name":"Multiplexer","score":0.6926279664039612},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6833633184432983},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.6089170575141907},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.5503727793693542},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5198524594306946},{"id":"https://openalex.org/keywords/lookup-table","display_name":"Lookup table","score":0.5147104859352112},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5146682858467102},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4372013211250305},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.43388426303863525},{"id":"https://openalex.org/keywords/bitwise-operation","display_name":"Bitwise operation","score":0.4160434603691101},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4056289792060852},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22351393103599548},{"id":"https://openalex.org/keywords/multiplexing","display_name":"Multiplexing","score":0.11543625593185425},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11387139558792114}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.7184736728668213},{"id":"https://openalex.org/C70970002","wikidata":"https://www.wikidata.org/wiki/Q189434","display_name":"Multiplexer","level":3,"score":0.6926279664039612},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6833633184432983},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.6089170575141907},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.5503727793693542},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5198524594306946},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.5147104859352112},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5146682858467102},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4372013211250305},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.43388426303863525},{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.4160434603691101},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4056289792060852},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22351393103599548},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.11543625593185425},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11387139558792114},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/aspdac.2018.8297400","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2018.8297400","pdf_url":null,"source":{"id":"https://openalex.org/S4363608266","display_name":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","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":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:268578","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/268578","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":"http://infoscience.epfl.ch/record/268578","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:233726","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/233726","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:268578","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/268578","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":"http://infoscience.epfl.ch/record/268578","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W1580644535","https://openalex.org/W1974711669","https://openalex.org/W1986881964","https://openalex.org/W2008132364","https://openalex.org/W2079080093","https://openalex.org/W2079294297","https://openalex.org/W2100465945","https://openalex.org/W2115016520","https://openalex.org/W2119748374","https://openalex.org/W2138118117","https://openalex.org/W2140975144","https://openalex.org/W2169757251","https://openalex.org/W2212327366","https://openalex.org/W2243301874","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/W2970034100","https://openalex.org/W3148005990","https://openalex.org/W6676978934","https://openalex.org/W6767874552"],"related_works":["https://openalex.org/W1993197222","https://openalex.org/W2590234590","https://openalex.org/W2097492861","https://openalex.org/W2071491930","https://openalex.org/W2900863455","https://openalex.org/W2155289750","https://openalex.org/W2141712138","https://openalex.org/W2159724425","https://openalex.org/W2117956479","https://openalex.org/W2053477566"],"abstract_inverted_index":{"Typical":[0],"operators":[1],"for":[2,102],"the":[3,28,36,65,140,154,162],"decomposition":[4,24,33,56],"of":[5,38,54,108,150],"Boolean":[6],"functions":[7],"in":[8,47,91],"state-of-the-art":[9,124],"algorithms":[10],"are":[11],"AND,":[12],"exclusive-OR":[13],"(XOR),":[14],"and":[15,81,105],"a":[16,22,55,72,148],"2-to-1":[17],"multiplexer":[18],"(MUX).":[19],"We":[20],"propose":[21],"logic":[23,40,85],"algorithm":[25,51,66,117],"that":[26,115,139],"uses":[27],"majority-of-three":[29],"(MAJ)":[30],"operation.":[31],"Such":[32],"can":[34,67],"extend":[35],"capabilities":[37],"current":[39],"decomposition,":[41,64],"but":[42],"only":[43,84],"found":[44],"limited":[45],"attention":[46],"previous":[48],"work.":[49],"Our":[50],"makes":[52],"use":[53],"rule":[57],"based":[58],"on":[59,153],"MAJ.":[60],"Combined":[61],"with":[62,147],"disjoint-support":[63],"factorize":[68],"XOR-Majority":[69],"Graphs":[70],"(XMGs),":[71],"recently":[73],"proposed":[74,141],"data":[75],"structure":[76],"which":[77,126],"has":[78],"XOR,":[79],"MAJ,":[80],"inverters":[82],"as":[83],"primitives.":[86],"XMGs":[87,121],"have":[88],"been":[89],"applied":[90,160],"various":[92],"applications,":[93],"including":[94],"(i)":[95],"exact":[96],"synthesis":[97,107],"aware":[98],"rewriting,":[99],"(ii)":[100],"pre-optimization":[101],"6-LUT":[103],"mapping,":[104],"(iii)":[106],"quantum":[109],"networks.":[110],"An":[111],"experimental":[112],"evaluation":[113],"shows":[114],"our":[116,136],"leads":[118],"to":[119,123,145,161],"better":[120],"compared":[122],"algorithms,":[125],"positively":[127],"affect":[128],"all":[129],"these":[130],"three":[131],"applications.":[132],"As":[133],"one":[134],"example,":[135],"experiments":[137],"show":[138],"method":[142],"achieves":[143],"up":[144],"37.1%":[146],"average":[149],"9.6%":[151],"reduction":[152],"look-up":[155],"tables":[156],"(LUT)":[157],"size/depth":[158],"product":[159],"EPFL":[163],"arithmetic":[164],"benchmarks":[165],"after":[166],"technology":[167],"mapping.":[168]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}