{"id":"https://openalex.org/W4318684541","doi":"https://doi.org/10.1145/3566097.3567935","title":"A Robust Approach to Detecting Non-Equivalent Quantum Circuits Using Specially Designed Stimuli","display_name":"A Robust Approach to Detecting Non-Equivalent Quantum Circuits Using Specially Designed Stimuli","publication_year":2023,"publication_date":"2023-01-16","ids":{"openalex":"https://openalex.org/W4318684541","doi":"https://doi.org/10.1145/3566097.3567935"},"language":"en","primary_location":{"id":"doi:10.1145/3566097.3567935","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3566097.3567935","pdf_url":null,"source":{"id":"https://openalex.org/S4363608968","display_name":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","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":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","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/A5035787828","display_name":"Hsiao-Lun Liu","orcid":"https://orcid.org/0000-0003-3366-8325"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Hsiao-Lun Liu","raw_affiliation_strings":["National Tsing Hua University, Hsinchu, Taiwan, R.O.C"],"affiliations":[{"raw_affiliation_string":"National Tsing Hua University, Hsinchu, Taiwan, R.O.C","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100670471","display_name":"Yiting Li","orcid":"https://orcid.org/0000-0002-6719-5899"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Ting Li","raw_affiliation_strings":["National Tsing Hua University, Hsinchu, Taiwan, R.O.C"],"affiliations":[{"raw_affiliation_string":"National Tsing Hua University, Hsinchu, Taiwan, R.O.C","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101882689","display_name":"Yung\u2010Chih Chen","orcid":"https://orcid.org/0000-0002-3934-800X"},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yung-Chih Chen","raw_affiliation_strings":["National Taiwan University of Science and Technology, Taipei, Taiwan, R.O.C"],"affiliations":[{"raw_affiliation_string":"National Taiwan University of Science and Technology, Taipei, Taiwan, R.O.C","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5115602054","display_name":"Chun-Yao Wang","orcid":"https://orcid.org/0000-0002-4536-214X"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chun-Yao Wang","raw_affiliation_strings":["National Tsing Hua University, Hsinchu, Taiwan, R.O.C"],"affiliations":[{"raw_affiliation_string":"National Tsing Hua University, Hsinchu, Taiwan, R.O.C","institution_ids":["https://openalex.org/I25846049"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5035787828"],"corresponding_institution_ids":["https://openalex.org/I25846049"],"apc_list":null,"apc_paid":null,"fwci":0.2257,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.34148881,"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":"696","last_page":"701"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9975000023841858,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9832000136375427,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.6941111087799072},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.660292387008667},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.6414438486099243},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6359999179840088},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5692218542098999},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.5570444464683533},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5509271025657654},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5202430486679077},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.508810818195343},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.3891241252422333},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26668667793273926},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2549107074737549},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.18755343556404114},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.18303269147872925},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13978123664855957},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.09780672192573547},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06813961267471313}],"concepts":[{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6941111087799072},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.660292387008667},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.6414438486099243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6359999179840088},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5692218542098999},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.5570444464683533},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5509271025657654},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5202430486679077},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.508810818195343},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3891241252422333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26668667793273926},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2549107074737549},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.18755343556404114},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.18303269147872925},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13978123664855957},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.09780672192573547},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06813961267471313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3566097.3567935","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3566097.3567935","pdf_url":null,"source":{"id":"https://openalex.org/S4363608968","display_name":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","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":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W32507011","https://openalex.org/W2130753923","https://openalex.org/W2203382396","https://openalex.org/W2888326017","https://openalex.org/W2946075680","https://openalex.org/W2963481762","https://openalex.org/W2964777125","https://openalex.org/W2991509735","https://openalex.org/W2997682999","https://openalex.org/W3013344133","https://openalex.org/W3036688246","https://openalex.org/W3090854670","https://openalex.org/W3092110422","https://openalex.org/W3105765483","https://openalex.org/W3111408873","https://openalex.org/W4287554517","https://openalex.org/W4288009787","https://openalex.org/W4300886134","https://openalex.org/W6798234552"],"related_works":["https://openalex.org/W2117120663","https://openalex.org/W1532304424","https://openalex.org/W2122228234","https://openalex.org/W4320032436","https://openalex.org/W4226238793","https://openalex.org/W4221159722","https://openalex.org/W2116137315","https://openalex.org/W4281550036","https://openalex.org/W1641472573","https://openalex.org/W1537651185"],"abstract_inverted_index":{"As":[0,36],"several":[1],"compilation":[2],"and":[3],"optimization":[4],"techniques":[5],"have":[6],"been":[7],"proposed,":[8],"equivalence":[9],"checking":[10],"for":[11,61,137],"quantum":[12,34,49,71,111],"circuits":[13,72],"has":[14],"become":[15],"essential":[16],"in":[17],"design":[18],"flows.":[19],"The":[20,95],"state-of-the-art":[21,146],"to":[22,43,56,64,107,117],"this":[23,80],"problem":[24],"observed":[25],"that":[26,143],"even":[27],"small":[28],"errors":[29,53],"substantially":[30],"affect":[31],"the":[32,45,62,66,99,108,118,121,145],"entire":[33],"system.":[35],"a":[37,74,84,89,114,131,138,157],"result,":[38],"it":[39,58],"exploited":[40],"random":[41],"simulations":[42],"prove":[44,65],"non-equivalence":[46,67],"of":[47,68,77,91,98,110,113,124,140,144,159],"two":[48],"circuits.":[50],"However,":[51],"when":[52],"occurred":[54],"close":[55],"outputs,":[57],"was":[59],"hard":[60],"work":[63],"some":[69],"non-equivalent":[70],"under":[73,130],"limited":[75],"number":[76,109],"simulations.":[78],"In":[79],"work,":[81],"we":[82],"propose":[83],"novel":[85],"simulation-based":[86],"approach":[87,101,126,154],"using":[88],"set":[90,139],"specially":[92],"designed":[93],"stimuli.":[94],"simulation":[96,132],"runs":[97],"proposed":[100],"is":[102,127,147],"linear":[103],"rather":[104],"than":[105],"exponential":[106],"bits":[112],"circuit.":[115],"According":[116],"experimental":[119],"results,":[120],"success":[122],"rate":[123],"our":[125],"100%":[128],"(100%)":[129],"run":[133],"(execution":[134],"time)":[135],"constraint":[136],"benchmarks,":[141],"while":[142],"only":[148],"69%":[149],"(74%)":[150],"on":[151,161],"average.":[152,162],"Our":[153],"also":[155],"achieves":[156],"speedup":[158],"26":[160]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}