{"id":"https://openalex.org/W2472068728","doi":"https://doi.org/10.1145/2894757","title":"Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability","display_name":"Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability","publication_year":2016,"publication_date":"2016-06-27","ids":{"openalex":"https://openalex.org/W2472068728","doi":"https://doi.org/10.1145/2894757","mag":"2472068728"},"language":"en","primary_location":{"id":"doi:10.1145/2894757","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2894757","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-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/A5067947249","display_name":"Arighna Deb","orcid":"https://orcid.org/0000-0002-2993-3184"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Arighna Deb","raw_affiliation_strings":["Institute of Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059700720","display_name":"Debesh K. Das","orcid":"https://orcid.org/0000-0003-1736-1497"},"institutions":[{"id":"https://openalex.org/I170979836","display_name":"Jadavpur University","ror":"https://ror.org/02af4h012","country_code":"IN","type":"education","lineage":["https://openalex.org/I170979836"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Debesh K. Das","raw_affiliation_strings":["Computer Science and Engineering, Jadavpur University, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Jadavpur University, Kolkata, India","institution_ids":["https://openalex.org/I170979836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082934529","display_name":"Hafizur Rahaman","orcid":"https://orcid.org/0000-0001-9012-5437"},"institutions":[{"id":"https://openalex.org/I98365261","display_name":"Indian Institute of Engineering Science and Technology, Shibpur","ror":"https://ror.org/02ytfzr55","country_code":"IN","type":"education","lineage":["https://openalex.org/I98365261"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Hafizur Rahaman","raw_affiliation_strings":["Information Technology, Indian Institute of Engineering Science and Technology, Howrah, India"],"affiliations":[{"raw_affiliation_string":"Information Technology, Indian Institute of Engineering Science and Technology, Howrah, India","institution_ids":["https://openalex.org/I98365261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Robert Wille","raw_affiliation_strings":["Institute for Integrated Circuits, Johannes Kepler University, Linz, Austria Cyber-Physical Systems, DFKI GmbH, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Integrated Circuits, Johannes Kepler University, Linz, Austria Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["Institute of Computer Science, University of Bremen, Bremen, Germany Cyber-Physical Systems, DFKI GmbH, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067730042","display_name":"Bhargab B. Bhattacharya","orcid":"https://orcid.org/0000-0002-5890-2483"},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"education","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Bhargab B. Bhattacharya","raw_affiliation_strings":["Nanotechnology Research Triangle, Indian Statistical Institute, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"Nanotechnology Research Triangle, Indian Statistical Institute, Kolkata, India","institution_ids":["https://openalex.org/I6498739"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5067947249"],"corresponding_institution_ids":["https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":0.857,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.83537748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"12","issue":"4","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9991999864578247,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9926999807357788,"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/testability","display_name":"Testability","score":0.8527306318283081},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.7046067118644714},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5718889236450195},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.506062924861908},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5039927363395691},{"id":"https://openalex.org/keywords/controlled-not-gate","display_name":"Controlled NOT gate","score":0.4959157407283783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47894078493118286},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.4467836916446686},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.423380047082901},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.41684162616729736},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36139976978302},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.2847577929496765},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.18317347764968872},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.17697811126708984},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.14485716819763184},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12827453017234802}],"concepts":[{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.8527306318283081},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.7046067118644714},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5718889236450195},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.506062924861908},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5039927363395691},{"id":"https://openalex.org/C182953411","wikidata":"https://www.wikidata.org/wiki/Q917713","display_name":"Controlled NOT gate","level":5,"score":0.4959157407283783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47894078493118286},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.4467836916446686},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.423380047082901},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.41684162616729736},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36139976978302},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.2847577929496765},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.18317347764968872},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.17697811126708984},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.14485716819763184},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12827453017234802},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2894757","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2894757","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6100000143051147,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1516511824","https://openalex.org/W1631356911","https://openalex.org/W1969196617","https://openalex.org/W1969464533","https://openalex.org/W1976996072","https://openalex.org/W1983827543","https://openalex.org/W2000679659","https://openalex.org/W2008542461","https://openalex.org/W2040483684","https://openalex.org/W2045039329","https://openalex.org/W2049708442","https://openalex.org/W2049918083","https://openalex.org/W2050520617","https://openalex.org/W2085700884","https://openalex.org/W2094398614","https://openalex.org/W2102008187","https://openalex.org/W2106215532","https://openalex.org/W2109676928","https://openalex.org/W2114638353","https://openalex.org/W2119028753","https://openalex.org/W2119365910","https://openalex.org/W2121403139","https://openalex.org/W2122701426","https://openalex.org/W2144867933","https://openalex.org/W2163457712","https://openalex.org/W2163525631","https://openalex.org/W2163531634","https://openalex.org/W2912120411","https://openalex.org/W2950625729","https://openalex.org/W3144457366","https://openalex.org/W4243809835"],"related_works":["https://openalex.org/W4385261786","https://openalex.org/W3022132827","https://openalex.org/W2363059504","https://openalex.org/W2393524141","https://openalex.org/W1988131941","https://openalex.org/W2053250758","https://openalex.org/W1605974080","https://openalex.org/W2262058355","https://openalex.org/W2001677188","https://openalex.org/W4377246717"],"abstract_inverted_index":{"In":[0,17,66,86],"this":[1,155],"article,":[2],"we":[3,72,128],"introduce":[4],"a":[5,26,75,90,133,158],"novel":[6],"method":[7],"of":[8,33,36,55,83,137,144],"synthesizing":[9,162],"symmetric":[10,163],"Boolean":[11],"functions":[12,164],"with":[13,46],"reversible":[14,96],"logic":[15,97],"gates.":[16],"contrast":[18],"to":[19,48,68,88,105,166],"earlier":[20],"approaches,":[21],"the":[22,49,53,94,150],"proposed":[23,95],"technique":[24],"deploys":[25],"simple,":[27],"regular,":[28],"and":[29,38,114,152],"cascaded":[30],"structure":[31,98],"consisting":[32],"an":[34,123],"array":[35],"Peres":[37],"CNOT":[39],"gates,":[40],"which":[41],"results":[42],"in":[43,121],"significant":[44],"reduction":[45],"respect":[47,104],"quantum":[50],"cost.":[51],"However,":[52],"number":[54],"circuit":[56,84,126],"inputs":[57],"may":[58],"increase":[59],"slightly":[60],"when":[61],"such":[62,122],"cascades":[63],"are":[64],"used.":[65],"order":[67],"reduce":[69],"their":[70],"number,":[71],"next":[73],"propose":[74],"postsynthesis":[76],"optimization":[77],"phase":[78],"that":[79,130],"allows":[80],"judicious":[81],"reuse":[82],"lines.":[85],"addition":[87],"offering":[89],"cost-effective":[91],"synthesis":[92],"methodology,":[93],"supports":[99],"elegant":[100],"testability":[101,153],"properties.":[102],"With":[103],"all":[106],"single":[107],"or":[108,116],"partial":[109],"missing":[110],"gate":[111,118],"faults":[112,119],"(SMGFs":[113],"PMGFs),":[115],"repeated":[117],"(RGFs)":[120],"n":[124,145],"-input":[125],"module,":[127],"show":[129],"it":[131],"admits":[132],"universal":[134],"test":[135],"set":[136],"constant":[138],"cardinality":[139],"(=3)":[140],"for":[141,161],"any":[142],"value":[143],".":[146],"Thus,":[147],"considering":[148],"both":[149],"cost":[151],"issues,":[154],"approach":[156],"provides":[157],"superior":[159],"option":[160],"compared":[165],"existing":[167],"designs.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}