文献

J-GLOBAL ID：201202295710813393   整理番号：12A0664254

単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法

Equivalence checking method of timed logic formulae for verification of single-flux-quantum circuit

著者 (3件)： 川口隆広 (名古屋大) ,  高木一義 (京大) ,  高木直史 (京大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 111  号： 450(VLD2011 120-144)  ページ： 91-96  発行年： 2012年02月28日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究では,単一磁束量子回路を時刻付き論理式で表現して等価性判定を行うことで,回路の状態数を削減して機能検証を行う手法を提案する。本手法では,回路を時刻付き論理式で表現して,変数の値を定義する時刻と異なる時刻で参照される変数のみを状態変数として扱い等価性判定を行う。これにより,少ない状態数での単一磁束量子回路の設計検証が行える。(著者抄録)

シソーラス用語： *磁束量子 ,  *回路設計 ,  等価性 ,  *論理演算 ,  *時間 ,  状態変数 ,  消費電力 ,  *ディジタル集積回路 ,  同期信号 ,  双安定回路 ,  パイプライン処理 ,  パイプライン演算 ,  順序回路 ,  フィードバック ,  タイミング解析
準シソーラス用語： 単一磁束量子 ,  時刻付き論理式

分類 (2件)： 集積回路一般  (NC03161C) ,  Josephson接合・素子  (BM04043E)

引用文献 (6件)：

• LIKHAREV, K. K. RSFQ logic/memory family : A new Josephson-junction technology for subterahertz-clock-frequency digital systems. IEEE Trans. Appl. Supercond. 1991, 1, 3-28
• GAJ, Kris. Timing of Multi-Gigaherts Rapid Single Flux Quantum Digital Circuits. Journal of VLSI Signal Processing. 1997, 247-276
• TAKAGI, K. A Verification Method of Pipeline Processing Behavior of Superconducting Single-Flux-Quantum Pulse Logic Circuits. Proc. SASIMI2010, Logic and Physical Design (I), Oct. 2010
• TERAI, H. Timing jitter measurement of single-flux-quantum pulse in Josephson transmission line. Appl. Phys. Lett. 2004, 84, 12
• IYER, M. K. SATORI-A Fast Sequential SAT Engine for Circuits. Proceedings of the 2003 IEEE/ACM international conference on Computeraided design. 2003, 320

タイトルに関連する用語 (6件)： 単一磁束量子回路 ,  設計検証 ,  時刻 ,  論理式 ,  等価性 ,  手法