Studies on Logic Design and Design Automation of Single-Flux-Quantum Circuits based on Localized Electromagnetic Waves

• Project/Area Number: 18080008
• Research Category: Grant-in-Aid for Scientific Research on Priority Areas
• Allocation Type: Single-year Grants
• Review Section: Science and Engineering
• Research Institution: Nagoya University
• Principal Investigator: KAZUYOSHI Takagi (TAKAGI Kazuyoshi) Nagoya University, 大学院・情報科学研究科, 准教授 (70273844)
• Co-Investigator(Kenkyū-buntansha): NAOFUMI Takagi 名古屋大学, 大学院・情報科学研究科, 教授 (10171422)
• Project Period (FY): 2006 – 2009
• Project Status: Completed (Fiscal Year 2009)
• Budget Amount: ¥12,200,000 (Direct Cost: ¥12,200,000); Fiscal Year 2009: ¥2,000,000 (Direct Cost: ¥2,000,000); Fiscal Year 2008: ¥3,700,000 (Direct Cost: ¥3,700,000); Fiscal Year 2007: ¥3,400,000 (Direct Cost: ¥3,400,000); Fiscal Year 2006: ¥3,100,000 (Direct Cost: ¥3,100,000)
• Keywords: 単一磁束量子回路 / 局在電磁波配線 / 論理設計支援 / クロック配信 / タイミング検証 / 単一磁束量子論理回路

Research Abstract

We have investigated logic circuit architecture using single-flux-quantum devices and developed circuit design flow and design automation algorithms specific for the devices. The following results are obtained.
(1) Circuit algorithms for multiplication and square-root
(2) A synthesis method for synchronous sequential circuits
(3) A clock scheduling algorithm used for clock distribution
(4) A method of layout-driven clock tree synthesis
(5) A verification method for pipeline processing behavior

Research Products

• [Journal Article] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits (2008)
  • Author(s): Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
  • Journal Title: IEICE Trans. Fundamentals Vol.E91-A Pages: 3772-3782
  • NAID: 10026854486
  • Peer Reviewed
• [Journal Article] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits (2008)
  • Author(s): Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
  • Journal Title: IEICE Trans. Fundamentals E91-A Pages: 3772-3782
  • NAID: 10026854486
  • Peer Reviewed
• [Journal Article] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits (2008)
  • Author(s): Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A Pages: 3772-3782
  • NAID: 10026854486
  • Peer Reviewed
• [Journal Article] A Method of Sequential Circuit Synthesis using One-hot Encoding for Single-Flux-Quantum Digital Circuits (2007)
  • Author(s): Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
  • Journal Title: IEICE Trans. Electron. Vol.E90-C Pages: 2278-2284
  • NAID: 110007538875
  • Peer Reviewed
• [Journal Article] A method of sequential circuit synthesis using one-hot encoding for single-flux-quantum digital circuits (2007)
  • Author(s): Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
  • Journal Title: IEICE Trans. Electron. E90-C Pages: 2278-2284
  • NAID: 110007538875
  • Peer Reviewed
• [Journal Article] A method of sequential circuit synthesis using one-hot encoding for sing le-flux-quantum digital circuits (2007)
  • Author(s): K. Obata, K. Takagi, N. Takagi
  • Journal Title: IEICE Trans. Electron. E90-C Pages: 2278-2284
  • Peer Reviewed
• [Presentation] Timing Optimization Methods for Superconducting SFQ Circuits (2010)
  • Author(s): Kazuyoshi Takagi, Shota Takeshima, Motoki Sato, Masamitsu Tanaka, Naofumi Takagi
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2010)
  • Place of Presentation: Yokohama National University.
  • Year and Date: 2010-01-12
• [Presentation] A Verification Method for Pipeline Processing Behavior of Single-Flux-Quantum Circuits by Equivalence Checking of Timed Logic Formulae (2010)
  • Author(s): Motoki Sato, Masamitsu Tanaka, Kazuyoshi Takagi, Naofumi Takagi
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2010)
  • Place of Presentation: Yokohama National University
  • Year and Date: 2010-01-12
• [Presentation] Timing Optimization Methods for Superconducting SFQ Circuits (2010)
  • Author(s): Kazuyoshi Takagi, Shota Takeshima, Motoki Sato, Masamitsu Tanaka, Naofumi Takagi
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2010)
  • Place of Presentation: 横浜市
  • Year and Date: 2010-01-12
• [Presentation] A Verification Method for Pipeline Processing Behavior of Single-Flux-Quantum Circuits by Equivalence Checking of Timed Logic Formulae (2010)
  • Author(s): Motoki Sato, Masamitsu Tanaka, Kazuyoshi Takagi, Naofumi Takagi
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2010)
  • Place of Presentation: 横浜市
  • Year and Date: 2010-01-12
• [Presentation] パイプライン動作を考慮した単一磁束量子回路のための論理設計検証手法 (2009)
  • Author(s): 佐藤元紀、田中雅光、高木一義、高木直史
  • Organizer: 電子情報通信学会SCE研究会
  • Place of Presentation: 東京都
  • Year and Date: 2009-10-20
• [Presentation] 単一磁束量子回路のためのパイプライン検証手法 (2009)
  • Author(s): 佐藤元紀、田中雅光、高木一義、高木直史
  • Organizer: 2009年電子情報通信学会エレクトロニクスソサイエティ大会
  • Place of Presentation: 新潟市
  • Year and Date: 2009-09-18
• [Presentation] A Method for Layout-Driven Skewed Clock Tree Synthesis for SFQ Circuits (2009)
  • Author(s): Kazuyoshi Takagi, Yuki Ito, Masamitsu Tanaka, Naofumi Takagi
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2009)
  • Place of Presentation: 福岡市
  • Year and Date: 2009-06-15
• [Presentation] Verification Method of Pipeline Processing Behavior of SFQ Circuits (2009)
  • Author(s): Motoki Sato, Masamitsu Tanaka, Kazuyoshi Takagi, Naofumi Takagi
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2009)
  • Place of Presentation: 福岡市
  • Year and Date: 2009-06-15
• [Presentation] SFQ回路のためのレイアウトを考慮したスキューのあるクロック木の構成法 (2009)
  • Author(s): 伊藤祐喜、高木一義、高木直史
  • Organizer: 電子情報通信学会総合大会
  • Place of Presentation: 愛媛大学
  • Year and Date: 2009-03-20
• [Presentation] 多層配線単一磁束量子回路のための自動配線手法 (2008)
  • Author(s): 竹島将太、田中雅光、高木一義、高木直史
  • Organizer: 電子情報通信学会超伝導エレクトロニクス研究会
  • Place of Presentation: 産業技術総合研究所
  • Year and Date: 2008-10-30
• [Presentation] 多層配線単三磁束量子回路のための自動配線手法 (2008)
  • Author(s): 竹島将太、田中雅光、高木三義、高木直史
  • Organizer: 電子情報通信学会超伝導エレクトロニクス研究会
  • Place of Presentation: 産業技術総合研究所
  • Year and Date: 2008-10-30
• [Presentation] Computer-Aided Design of Superconducting SFQ Digital Circuits (2008)
  • Author(s): Kazuyoshi Takagi, Naofumi Takagi, Masamitsu Tanaka, Koji Obata, Yuki Ito
  • Organizer: Superconducting SFQ VLSI Workshop (SSV 2008)
  • Place of Presentation: Yokohama National University
  • Year and Date: 2008-03-17
• [Presentation] シストリックアーキテクチャに基づく高スループットsfqビットシリアル浮動小数点乗算器 (2007)
  • Author(s): 小畑幸嗣、古田卓也、高木一義、高木直史
  • Organizer: 電子情報通信学会エレクトロニクスソサイエティ大会
  • Place of Presentation: 鳥取市
  • Year and Date: 2007-09-11
• [Presentation] 単一磁束量子回路による冗長2進表現を用いたシストリック開平器の設計 (2007)
  • Author(s): 田中雅光、小畑幸嗣、高木一義、高木直史
  • Organizer: 電子情報通信学会エレクトロニクスソサイエティ大会
  • Place of Presentation: 鳥取大学
  • Year and Date: 2007-09-11
• [Presentation] シストリックアーキテクチャに基づく高スループットSFQビットシリアル浮動小数点乗算器 (2007)
  • Author(s): 小畑幸嗣、古田卓也、高木一義、高木直史
  • Organizer: 電子情報通信学会エレクトロニクスソサイエティ大会
  • Place of Presentation: 鳥取市
  • Year and Date: 2007-09-11