JP6564928B2 - レシプロカル量子論理(rql)回路シミュレーションシステム - Google Patents
レシプロカル量子論理(rql)回路シミュレーションシステム Download PDFInfo
- Publication number
- JP6564928B2 JP6564928B2 JP2018501286A JP2018501286A JP6564928B2 JP 6564928 B2 JP6564928 B2 JP 6564928B2 JP 2018501286 A JP2018501286 A JP 2018501286A JP 2018501286 A JP2018501286 A JP 2018501286A JP 6564928 B2 JP6564928 B2 JP 6564928B2
- Authority
- JP
- Japan
- Prior art keywords
- rql
- circuit design
- component
- predefined
- components
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000004088 simulation Methods 0.000 title claims description 47
- 238000013461 design Methods 0.000 claims description 318
- 238000000034 method Methods 0.000 claims description 22
- 230000004907 flux Effects 0.000 claims description 6
- 230000005540 biological transmission Effects 0.000 claims description 5
- 230000006399 behavior Effects 0.000 description 22
- 238000012360 testing method Methods 0.000 description 18
- 230000000694 effects Effects 0.000 description 7
- 230000004044 response Effects 0.000 description 6
- 230000008859 change Effects 0.000 description 4
- 238000004590 computer program Methods 0.000 description 4
- 230000006870 function Effects 0.000 description 4
- 238000012545 processing Methods 0.000 description 4
- 238000003860 storage Methods 0.000 description 4
- 230000009471 action Effects 0.000 description 2
- 230000003542 behavioural effect Effects 0.000 description 2
- 230000000295 complement effect Effects 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 229910044991 metal oxide Inorganic materials 0.000 description 2
- 150000004706 metal oxides Chemical class 0.000 description 2
- 238000005457 optimization Methods 0.000 description 2
- 230000002093 peripheral effect Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 241000238366 Cephalopoda Species 0.000 description 1
- 230000004075 alteration Effects 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000003111 delayed effect Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000010363 phase shift Effects 0.000 description 1
- 238000012805 post-processing Methods 0.000 description 1
- 238000004321 preservation Methods 0.000 description 1
- 230000008569 process Effects 0.000 description 1
- 230000000644 propagated effect Effects 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 238000003786 synthesis reaction Methods 0.000 description 1
- 238000010998 test method Methods 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
- G06F30/3312—Timing analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/337—Design optimisation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
- Superconductor Devices And Manufacturing Methods Thereof (AREA)
Description
以下に、上記各実施形態から把握できる技術思想を記載する。
(付記1)
レシプロカル量子論理(RQL)回路シミュレーションシステムであって、
少なくとも1つの既定のRQL回路設計コンポーネントを含むRQL回路設計を設計するためにユーザ入力を可能にするように構成された回路設計ツールと、
前記RQL回路設計と、複数の既定のRQL回路設計コンポーネントを含むRQLコンポーネントライブラリとを格納するように構成されたメモリシステムであって、前記少なくとも1つの既定のRQL回路設計コンポーネントは、前記複数の既定のRQL回路設計コンポーネントから選択され、前記複数の既定のRQL回路設計コンポーネントの各々が、既定のRQLコンポーネントメトリクスを含み、前記既定のRQLコンポーネントメトリクスが、前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた、少なくとも1つのジョセフソン接合と関連付けられたタイミングデータおよび単一磁束量子(SFQ)パルスと関連付けられたタイミング挙動を含む、前記メモリシステムと、
回路シミュレータであって、
前記RQL回路設計を評価し、前記複数の既定のRQL回路設計コンポーネントのうちの対応する少なくとも1つの既定のRQL回路設計コンポーネントの各々と関連付けられた前記既定のRQLコンポーネントメトリクスに基づいて前記RQL回路設計と関連付けられた総合性能メトリクスを収集するために前記RQLコンポーネントライブラリにアクセスするように構成された性能メトリクス収集部、および、
前記総合性能メトリクスに基づいて前記RQL回路設計をシミュレーションするように構成されたプロセッサを含む前記回路シミュレータと、を備えるレシプロカル量子論理回路シミュレーションシステム。
(付記2)
前記回路設計ツールは、
前記複数の既定のRQL回路設計コンポーネントのうちの既定のRQL回路設計コンポーネントを設計するために前記ユーザ入力を可能にするようにさらに構成され、
前記回路シミュレータは、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた前記既定のRQLコンポーネントメトリクスを計算し、前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントおよび関連付けられた既定のRQLコンポーネントメトリクスを前記RQLコンポーネントライブラリに格納するように構成された回路メトリクス計算機を含む、付記1に記載のシステム。
(付記3)
前記複数の既定のRQL回路設計コンポーネントは、
複数のジョセフソン伝送路(JTL)回路コンポーネントおよび複数のRQLゲート回路コンポーネントの少なくとも1つを含む、付記1に記載のシステム。
(付記4)
前記プロセッサが、フィードバック方式で前記RQL回路設計を最適化するために前記ユーザ入力を可能にするために、シミュレーションされたRQL回路設計と関連付けられたシミュレーション結果を前記回路設計ツールに伝達するように構成される、付記1に記載のシステム。
Claims (9)
- レシプロカル量子論理(RQL)回路シミュレーションシステムであって、
少なくとも1つの既定のRQL回路設計コンポーネントを含むRQL回路設計を設計するためにユーザ入力を可能にするように構成された回路設計ツールと、
前記RQL回路設計と、複数の既定のRQL回路設計コンポーネントを含むRQLコンポーネントライブラリとを格納するように構成されたメモリシステムであって、前記少なくとも1つの既定のRQL回路設計コンポーネントは、前記複数の既定のRQL回路設計コンポーネントから選択され、前記複数の既定のRQL回路設計コンポーネントの各々が、前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントの性能と関連付けられた既定のRQLコンポーネントメトリクスを含む、前記メモリシステムと、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する少なくとも1つの既定のRQL回路設計コンポーネントと関連付けられた前記既定のRQLコンポーネントメトリクスに基づいて前記RQL回路設計と関連付けられた性能メトリクスを収集し、前記性能メトリクスに基づいて前記RQL回路設計をシミュレーションするように構成された回路シミュレータと、を備え、
前記既定のRQLコンポーネントメトリクスは、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた少なくとも1つのジョセフソン接合の位相の立ち下がり時間と、
前記少なくとも1つのジョセフソン接合の位相の立ち上がり時間と、
前記少なくとも1つのジョセフソン接合と関連付けられた正のオーバシュートと、
前記少なくとも1つのジョセフソン接合と関連付けられた負のオーバシュートと、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた正および負の単一磁束量子(SFQ)パルスの遅延対称と、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた総合遅延と、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられたパルス到着遅延と、を含む、システム。 - 前記回路設計ツールが、前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントを設計するために前記ユーザ入力を可能にするようにさらに構成され、
前記回路シミュレータは、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた前記既定のRQLコンポーネントメトリクスを計算し、前記既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントおよび関連付けられた既定のRQLコンポーネントメトリクスを前記RQLコンポーネントライブラリに格納するように構成された回路メトリクス計算機を含む、請求項1に記載のシステム。 - 前記複数の既定のRQL回路設計コンポーネントが、複数のジョセフソン伝送路(JTL)回路コンポーネントおよび複数のRQLゲート回路コンポーネントの少なくとも1つを含む、請求項1に記載のシステム。
- 前記複数の既定のRQLゲート回路コンポーネントの各々と関連付けられた前記既定のRQLコンポーネントメトリクスは、
前記複数の既定のRQL回路設計コンポーネントのそれぞれの1つと関連付けられたバイアス電流およびクロック信号の少なくとも1つの振幅範囲と関連付けられたコーナーメトリクスを含む、請求項1に記載のシステム。 - 前記回路シミュレータが、
前記RQL回路設計を評価し、前記複数の既定のRQL回路設計コンポーネントのうちの対応する少なくとも1つの既定のRQL回路設計コンポーネントの各々と関連付けられた前記既定のRQLコンポーネントメトリクスに基づいて前記RQL回路設計と関連付けられた総合性能メトリクスを収集するために前記RQLコンポーネントライブラリにアクセスするように構成された性能メトリクス収集部と、
前記総合性能メトリクスに基づいて前記RQL回路設計をシミュレーションし、前記ユーザ入力を可能にしてフィードバック方式で前記RQL回路設計を最適化するために、シミュレーションされたRQL回路設計と関連付けられたシミュレーション結果を前記回路設計ツールに伝達するように構成されるプロセッサと、を含む、請求項1に記載のシステム。 - 実行されると、レシプロカル量子論理(RQL)回路設計をシミュレーションするための方法を実行するように構成された命令を格納するように構成された非一時的なコンピュータ可読媒体であって、前記方法が、
複数の既定のRQL回路設計コンポーネントを設計するために回路設計ツールを介してユーザ入力を可能にするステップと、
前記複数の既定のRQL回路設計コンポーネントの各々と関連付けられた既定のRQLコンポーネントメトリクスを計算するステップと、
前記既定のRQL回路設計コンポーネントおよび前記関連付けられた既定のRQLコンポーネントメトリクスをRQLコンポーネントライブラリに格納するステップと、
前記複数の既定のRQL回路設計コンポーネントの少なくとも1つを含む前記RQL回路設計を設計するために前記回路設計ツールを介してユーザ入力を可能にするステップと、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する少なくとも1つの既定のRQL回路設計コンポーネントと関連付けられた前記既定のRQLコンポーネントメトリクスに基づいて前記RQL回路設計と関連付けられた総合性能メトリクスを収集するステップと、
前記総合性能メトリクスに基づいて回路シミュレータを介して前記RQL回路設計をシミュレーションするステップと、を備え、
前記既定のRQLコンポーネントメトリクスは、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた少なくとも1つのジョセフソン接合の位相の立ち下がり時間と、
前記少なくとも1つのジョセフソン接合の位相の立ち上がり時間と、
前記少なくとも1つのジョセフソン接合と関連付けられた正のオーバシュートと、
前記少なくとも1つのジョセフソン接合と関連付けられた負のオーバシュートと、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた正および負の単一磁束量子(SFQ)パルスの遅延対称と、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられた総合遅延と、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられたパルス到着遅延と、を含む、非一時的なコンピュータ可読媒体。 - 複数の既定のRQL回路設計コンポーネントを設計するために前記回路設計ツールを介して前記ユーザ入力を可能にするステップは、
複数のジョセフソン伝送路(JTL)回路コンポーネントおよび複数のRQLゲート回路コンポーネントの少なくとも1つを設計するために前記回路設計ツールを介して前記ユーザ入力を可能にするステップを含む、請求項6に記載の非一時的なコンピュータ可読媒体。 - 前記既定のRQLコンポーネントメトリクスを計算するステップは、
前記複数の既定のRQL回路設計コンポーネントのうちの対応する既定のRQL回路設計コンポーネントと関連付けられたバイアス電流およびクロック信号の少なくとも1つの振幅範囲と関連付けられたコーナーメトリクスを計算するステップを含む、請求項6に記載の非一時的なコンピュータ可読媒体。 - シミュレーションされたRQL回路設計と関連付けられたシミュレーション結果を前記回路設計ツールに伝達するステップと、
フィードバック方式で前記RQL回路設計を最適化するために前記ユーザ入力を可能にするステップと、をさらに備える請求項6に記載の非一時的なコンピュータ可読媒体。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US14/799,172 US9767238B2 (en) | 2015-07-14 | 2015-07-14 | Reciprocal quantum logic (RQL) circuit simulation system |
US14/799,172 | 2015-07-14 | ||
PCT/US2016/040984 WO2017011225A1 (en) | 2015-07-14 | 2016-07-05 | Reciprocal quantum logic (rql) circuit simulation system |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2018529144A JP2018529144A (ja) | 2018-10-04 |
JP6564928B2 true JP6564928B2 (ja) | 2019-08-21 |
Family
ID=56409734
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018501286A Active JP6564928B2 (ja) | 2015-07-14 | 2016-07-05 | レシプロカル量子論理(rql)回路シミュレーションシステム |
Country Status (7)
Country | Link |
---|---|
US (2) | US9767238B2 (ja) |
EP (1) | EP3323063A1 (ja) |
JP (1) | JP6564928B2 (ja) |
KR (1) | KR102044842B1 (ja) |
AU (1) | AU2016292791B2 (ja) |
CA (1) | CA2991134C (ja) |
WO (1) | WO2017011225A1 (ja) |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP3186735A4 (en) * | 2015-11-06 | 2018-01-10 | Rigetti & Co., Inc. | Analyzing quantum information processing circuits |
US11250190B2 (en) | 2017-09-22 | 2022-02-15 | International Business Machines Corporation | Simulating quantum circuits |
US10592814B2 (en) | 2017-12-01 | 2020-03-17 | International Business Machines Corporation | Automatic design flow from schematic to layout for superconducting multi-qubit systems |
US10599805B2 (en) | 2017-12-01 | 2020-03-24 | International Business Machines Corporation | Superconducting quantum circuits layout design verification |
US10243582B1 (en) * | 2018-03-27 | 2019-03-26 | Northrop Grumman Systems Corporation | Interfacing between SFQ and NRZ data encodings |
US10796069B1 (en) | 2019-06-06 | 2020-10-06 | International Business Machines Corporation | Bump connection placement in quantum devices in a flip chip configuration |
US11380835B2 (en) | 2019-07-22 | 2022-07-05 | Microsoft Technology Licensing, Llc | Determining critical timing paths in a superconducting circuit design |
US10769344B1 (en) * | 2019-07-22 | 2020-09-08 | Microsoft Technology Licensing, Llc | Determining timing paths and reconciling topology in a superconducting circuit design |
US11545288B2 (en) | 2020-04-15 | 2023-01-03 | Northrop Grumman Systems Corporation | Superconducting current control system |
US11544614B2 (en) | 2020-06-05 | 2023-01-03 | International Business Machines Corporation | Sampling of an operator in a quantum system |
CN112488317B (zh) * | 2020-11-27 | 2021-09-21 | 北京百度网讯科技有限公司 | 量子控制中的仿真方法、装置、经典计算机及存储介质 |
US11757467B2 (en) | 2021-08-13 | 2023-09-12 | Northrop Grumman Systems Corporation | Circuits for converting SFQ-based RZ and NRZ signaling to bilevel voltage NRZ signaling |
US11973497B1 (en) * | 2021-10-28 | 2024-04-30 | Synopsys, Inc. | Parameterized superconducting multi-row circuit |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6351838B2 (ja) * | 2014-10-29 | 2018-07-04 | ノースロップ グラマン システムズ コーポレイションNorthrop Grumman Systems Corporation | レシプロカル量子論理(rql)回路合成 |
-
2015
- 2015-07-14 US US14/799,172 patent/US9767238B2/en active Active
-
2016
- 2016-07-05 EP EP16738640.8A patent/EP3323063A1/en not_active Ceased
- 2016-07-05 JP JP2018501286A patent/JP6564928B2/ja active Active
- 2016-07-05 AU AU2016292791A patent/AU2016292791B2/en active Active
- 2016-07-05 CA CA2991134A patent/CA2991134C/en active Active
- 2016-07-05 WO PCT/US2016/040984 patent/WO2017011225A1/en active Application Filing
- 2016-07-05 KR KR1020187001204A patent/KR102044842B1/ko active IP Right Grant
-
2017
- 2017-07-30 US US15/663,778 patent/US10339239B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
KR20180017173A (ko) | 2018-02-20 |
AU2016292791B2 (en) | 2019-04-18 |
US20170329883A1 (en) | 2017-11-16 |
AU2016292791A1 (en) | 2018-01-18 |
CA2991134A1 (en) | 2017-01-19 |
US9767238B2 (en) | 2017-09-19 |
WO2017011225A1 (en) | 2017-01-19 |
US20170017742A1 (en) | 2017-01-19 |
KR102044842B1 (ko) | 2019-11-14 |
JP2018529144A (ja) | 2018-10-04 |
US10339239B2 (en) | 2019-07-02 |
EP3323063A1 (en) | 2018-05-23 |
CA2991134C (en) | 2020-07-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6564928B2 (ja) | レシプロカル量子論理(rql)回路シミュレーションシステム | |
US20080091402A1 (en) | Methods for estimating power requirements of circuit designs | |
US10268787B2 (en) | Hybrid timing analysis method and associated system and non-transitory computer readable medium | |
CN106202603A (zh) | 用于在寄存器重定时之后探测信号的方法和装置 | |
Ubar et al. | Structural fault collapsing by superposition of BDDs for test generation in digital circuits | |
Eslami et al. | Incremental distributed trigger insertion for efficient FPGA debug | |
Czutro et al. | SAT-ATPG using preferences for improved detection of complex defect mechanisms | |
Raitza et al. | Quantitative characterization of reconfigurable transistor logic gates | |
Vasicek et al. | On area minimization of complex combinational circuits using cartesian genetic programming | |
Sekanina | Evolutionary hardware design | |
Brayton et al. | An integrated technology mapping environment | |
US10726182B1 (en) | Operator aware finite state machine for circuit design simulation | |
Murray et al. | Quantifying error: Extending static timing analysis with probabilistic transitions | |
Ubar et al. | Double phase fault collapsing with linear complexity in digital circuits | |
Fengler et al. | Toward Early Stage Dynamic Power Estimation: Exploring Alternative Machine Learning Methods and Simulation Schemes | |
Liu et al. | Feedforward neural network models for FPGA routing channel width estimation | |
Quispe et al. | PrOCov: Probabilistic output coverage model | |
Kocan et al. | Static variable ordering in zbdds for path delay fault coverage calculation | |
Kushik et al. | On using ABC for deriving distinguishing sequences for Verilog-descriptions | |
Ohlinger et al. | The Involution Tool for Accurate Digital Timingand Power Analysis | |
Margetts et al. | Dynamic causality in hybrid bond graphs | |
Navabi et al. | Test pattern generation methods and algorithms | |
Clarke et al. | On the feasibility of early routing capacitance estimation for FPGAs | |
Zha et al. | An fpga router for alternative reconfiguration flows | |
Misra | Efficient graph techniques for partial scan pattern debug and bounded model checkers |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20190116 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20190205 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190410 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20190709 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20190729 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6564928 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |