Zobrazeno 1 - 10
of 7 594
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
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:
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
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
Quantum computing has proven to be capable of accelerating many algorithms by performing tasks that classical computers cannot. Currently, Noisy Intermediate Scale Quantum (NISQ) machines struggle from scalability and noise issues to render a commerc
Externí odkaz:
http://arxiv.org/abs/2309.10728
Checking whether two quantum circuits are equivalent is important for the design and optimization of quantum-computer applications with real-world devices. We consider quantum circuits consisting of Clifford gates, a practically-relevant subset of al
Externí odkaz:
http://arxiv.org/abs/2308.01206