論文の概要: qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
- arxiv url: http://arxiv.org/abs/2409.03917v1
- Date: Thu, 5 Sep 2024 21:25:38 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-09 17:20:24.138269
- Title: qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
- Title（参考訳）: qSAT:ハードウェア等価チェックのための効率的な量子満足度解法の設計
- Authors: Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten, Kamalika Datta, Rolf Drechsler,
- Abstract要約: 我々はGroverのアルゴリズムを用いた回路の等価性チェックのための効率的な量子SATソルバを提案する。
共役正規形式等価節の排他的帰結に基づく生成は、量子回路解釈のゲートと深さを最小化し、より少ない量子ビットを要求する。
- 参考スコア（独自算出の注目度）: 2.178037930899554
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: 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 Grover's algorithm. The Exclusive-Sum-of-Product based generation of the Conjunctive Normal Form equivalent clauses demand less qubits and minimizes the gates and depth of quantum circuit interpretation. The consideration of reference circuits for verification affecting Grover's iterations and quantum resources are also presented as a case study. Experimental results are presented assessing the benefits of the proposed verification approach using open-source Qiskit platform and IBM quantum computer.
- Abstract（参考訳）: ハードウェア検証にSAT(Boolean Satisfiability)ソルバを使用すると、いくつかのインスタンスで指数的な実行時間が発生する。
本研究では,Groverのアルゴリズムを用いたブール回路の等価性チェックのための効率的な量子SAT(qSAT)ソルバを提案する。
共役正規形式等価節の排他的帰結に基づく生成は、量子回路解釈のゲートと深さを最小化し、より少ない量子ビットを要求する。
また、Groverの反復と量子資源に影響を与える検証のための基準回路の検討もケーススタディとして紹介する。
実験結果は、オープンソースのQiskitプラットフォームとIBM量子コンピュータを用いた検証手法の利点を評価するものである。
関連論文リスト
- YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search [0.9932551365711049]
本稿では,量子処理ユニットと制御プロトコルのネイティブゲートに基づく比較解析を行うソフトウェアツールを提案する。
開発されたソフトウェアYAQQ(Yet Another Quantum Quantizer)は、最適化された量子ゲートセットの発見を可能にする。
論文 参考訳（メタデータ） (2024-06-25T14:55:35Z) - Equivalence Checking of Parameterised Quantum Circuits [13.796569260568939]
テンソル決定図に基づく新しいPQCのコンパクト表現を提案する。
インスタンス化を必要とせずにPQC同値性を検証するアルゴリズムを提案する。
論文 参考訳（メタデータ） (2024-04-29T06:25:00Z) - Bayesian Parameterized Quantum Circuit Optimization (BPQCO): A task and hardware-dependent approach [49.89480853499917]
変分量子アルゴリズム(VQA)は、最適化と機械学習問題を解決するための有望な量子代替手段として登場した。
本稿では,回路設計が2つの分類問題に対して得られる性能に与える影響を実験的に示す。
また、実量子コンピュータのシミュレーションにおいて、ノイズの存在下で得られた回路の劣化について検討する。
論文 参考訳（メタデータ） (2024-04-17T11:00:12Z) - Quantum Approximate Optimisation for Not-All-Equal SAT [9.427635404752936]
変動量子アルゴリズムのQAOAを、満足度問題(SAT: Not-All-Equal SAT)の変種に適用する。
両ソルバのランタイムは問題サイズとともに指数関数的にスケールするが,QAOAのスケーリングは回路深さが十分に大きい場合に小さくなることを示す。
論文 参考訳（メタデータ） (2024-01-05T15:11:24Z) - Equivalence Checking of Parameterized Quantum Circuits: Verifying the
Compilation of Variational Quantum Algorithms [3.610459670994051]
変分量子アルゴリズムは量子古典ハイブリッドアルゴリズムの有望なクラスとして導入された。
パラメータ化量子回路が正しくコンパイルされていることを検証することが不可欠である。
回路をパラメータで扱える手法はまだ提案されていない。
論文 参考訳（メタデータ） (2022-10-21T18:00:04Z) - Iterative Qubits Management for Quantum Index Searching in a Hybrid
System [56.39703478198019]
IQuCSは、量子古典ハイブリッドシステムにおけるインデックス検索とカウントを目的としている。
我々はQiskitでIQuCSを実装し、集中的な実験を行う。
その結果、量子ビットの消費を最大66.2%削減できることが示されている。
論文 参考訳（メタデータ） (2022-09-22T21:54:28Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳（メタデータ） (2022-04-12T19:39:31Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳（メタデータ） (2021-12-27T21:15:35Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳（メタデータ） (2020-10-20T12:06:27Z) - Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow [7.619626059034881]
本稿では,量子回路等価性チェックのための効率的な手法を提案する。
提案方式では,数万の操作を数秒以下で行う大規模回路インスタンスの検証が可能となる。
論文 参考訳（メタデータ） (2020-09-04T19:58:53Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳（メタデータ） (2020-07-21T15:36:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。