Zobrazeno 1 - 10
of 7 580
pro vyhledávání: '"equivalence checking"'
Autor:
Singh, Rajat, Bedathur, Srikanta
Equivalence checking of two SQL queries is an intractable problem encountered in diverse contexts ranging from grading student submissions in a DBMS course to debugging query rewriting rules in an optimizer, and many more. While a lot of progress has
Externí odkaz:
http://arxiv.org/abs/2412.05561
As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vital role in identifying errors that may arise during compilation and o
Externí odkaz:
http://arxiv.org/abs/2410.10946
The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (qSAT) solver for equivalence checking of Boolean circuits employing Gro
Externí odkaz:
http://arxiv.org/abs/2409.03917
Quantum computers and quantum algorithms have made great strides in the last few years and promise improvements over classical computing for specific tasks. Although the current hardware is not yet ready to make real impacts at the time of writing, t
Externí odkaz:
http://arxiv.org/abs/2408.14539
Autor:
Hong, Xin, Huang, Wei-Jia, Chien, Wei-Chen, Feng, Yuan, Hsieh, Min-Hsiu, Li, Sanjiang, Ying, Mingsheng
Parameterised quantum circuits (PQCs) hold great promise for demonstrating quantum advantages in practical applications of quantum computation. Examples of successful applications include the variational quantum eigensolver, the quantum approximate o
Externí odkaz:
http://arxiv.org/abs/2404.18456
Verifying equivalence between two quantum circuits is a hard problem, that is nonetheless crucial in compiling and optimizing quantum algorithms for real-world devices. This paper gives a Turing reduction of the (universal) quantum circuits equivalen
Externí odkaz:
http://arxiv.org/abs/2403.18813
Autor:
Ni, Liwei, Yang, Zonglin, Zhang, Jiaxi, Feng, Changhong, Liu, Jianhua, Luo, Guojie, Li, Huawei, Xie, Biwei, Li, Xingquan
Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has significant time an
Externí odkaz:
http://arxiv.org/abs/2312.14541
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.