搜索结果: 1-2 共查到“Equivalence checking”相关记录2条 . 查询时间(0.062 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Equivalence Checking of Quantum Circuits by Nonlocality
量子电路 非局域 等价性检验
font style='font-size:12px;'>
2023/4/17
Suppose two quantum circuit chips are located at different places, for which we do not have any prior knowledge, and cannot see the internal structures either. In such a situation, a realistic and fun...
Data-Driven Equivalence Checking
Binary Analysis Compilers Markov Chain Monte Carlo Optimization Superoptimization
font style='font-size:12px;'>
2016/5/24
We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained, o...