• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 18080008
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionNagoya 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 *help
¥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

Report

(6 results)
  • 2009 Annual Research Report   Final Research Report ( PDF )
  • 2008 Annual Research Report   Self-evaluation Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (21 results)

All 2010 2009 2008 2007

All Journal Article (6 results) (of which Peer Reviewed: 6 results) Presentation (15 results)

  • [Journal Article] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits2008

    • Author(s)
      Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
    • Journal Title

      IEICE Trans. Fundamentals Vol.E91-A

      Pages: 3772-3782

    • NAID

      10026854486

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits2008

    • Author(s)
      Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
    • Journal Title

      IEICE Trans. Fundamentals E91-A

      Pages: 3772-3782

    • NAID

      10026854486

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits2008

    • 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

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Method of Sequential Circuit Synthesis using One-hot Encoding for Single-Flux-Quantum Digital Circuits2007

    • Author(s)
      Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
    • Journal Title

      IEICE Trans. Electron. Vol.E90-C

      Pages: 2278-2284

    • NAID

      110007538875

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] A method of sequential circuit synthesis using one-hot encoding for single-flux-quantum digital circuits2007

    • Author(s)
      Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
    • Journal Title

      IEICE Trans. Electron. E90-C

      Pages: 2278-2284

    • NAID

      110007538875

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] A method of sequential circuit synthesis using one-hot encoding for sing le-flux-quantum digital circuits2007

    • Author(s)
      K. Obata, K. Takagi, N. Takagi
    • Journal Title

      IEICE Trans. Electron. E90-C

      Pages: 2278-2284

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Presentation] Timing Optimization Methods for Superconducting SFQ Circuits2010

    • 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
    • Related Report
      2009 Final Research Report
  • [Presentation] A Verification Method for Pipeline Processing Behavior of Single-Flux-Quantum Circuits by Equivalence Checking of Timed Logic Formulae2010

    • 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
    • Related Report
      2009 Final Research Report
  • [Presentation] Timing Optimization Methods for Superconducting SFQ Circuits2010

    • 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
    • Related Report
      2009 Annual Research Report
  • [Presentation] A Verification Method for Pipeline Processing Behavior of Single-Flux-Quantum Circuits by Equivalence Checking of Timed Logic Formulae2010

    • 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
    • Related Report
      2009 Annual Research Report
  • [Presentation] パイプライン動作を考慮した単一磁束量子回路のための論理設計検証手法2009

    • Author(s)
      佐藤元紀、田中雅光、高木一義、高木直史
    • Organizer
      電子情報通信学会SCE研究会
    • Place of Presentation
      東京都
    • Year and Date
      2009-10-20
    • Related Report
      2009 Annual Research Report 2009 Final Research Report
  • [Presentation] 単一磁束量子回路のためのパイプライン検証手法2009

    • Author(s)
      佐藤元紀、田中雅光、高木一義、高木直史
    • Organizer
      2009年電子情報通信学会エレクトロニクスソサイエティ大会
    • Place of Presentation
      新潟市
    • Year and Date
      2009-09-18
    • Related Report
      2009 Annual Research Report 2009 Final Research Report
  • [Presentation] A Method for Layout-Driven Skewed Clock Tree Synthesis for SFQ Circuits2009

    • 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
    • Related Report
      2009 Annual Research Report 2009 Final Research Report
  • [Presentation] Verification Method of Pipeline Processing Behavior of SFQ Circuits2009

    • 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
    • Related Report
      2009 Annual Research Report 2009 Final Research Report
  • [Presentation] SFQ回路のためのレイアウトを考慮したスキューのあるクロック木の構成法2009

    • Author(s)
      伊藤祐喜、高木一義、高木直史
    • Organizer
      電子情報通信学会総合大会
    • Place of Presentation
      愛媛大学
    • Year and Date
      2009-03-20
    • Related Report
      2009 Final Research Report 2008 Annual Research Report 2008 Self-evaluation Report
  • [Presentation] 多層配線単一磁束量子回路のための自動配線手法2008

    • Author(s)
      竹島将太、田中雅光、高木一義、高木直史
    • Organizer
      電子情報通信学会超伝導エレクトロニクス研究会
    • Place of Presentation
      産業技術総合研究所
    • Year and Date
      2008-10-30
    • Related Report
      2009 Final Research Report 2008 Self-evaluation Report
  • [Presentation] 多層配線単三磁束量子回路のための自動配線手法2008

    • Author(s)
      竹島将太、田中雅光、高木三義、高木直史
    • Organizer
      電子情報通信学会超伝導エレクトロニクス研究会
    • Place of Presentation
      産業技術総合研究所
    • Year and Date
      2008-10-30
    • Related Report
      2008 Annual Research Report
  • [Presentation] Computer-Aided Design of Superconducting SFQ Digital Circuits2008

    • 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
    • Related Report
      2009 Final Research Report 2008 Self-evaluation Report 2007 Annual Research Report
  • [Presentation] シストリックアーキテクチャに基づく高スループットsfqビットシリアル浮動小数点乗算器2007

    • Author(s)
      小畑幸嗣、古田卓也、高木一義、高木直史
    • Organizer
      電子情報通信学会エレクトロニクスソサイエティ大会
    • Place of Presentation
      鳥取市
    • Year and Date
      2007-09-11
    • Related Report
      2009 Final Research Report
  • [Presentation] 単一磁束量子回路による冗長2進表現を用いたシストリック開平器の設計2007

    • Author(s)
      田中雅光、小畑幸嗣、高木一義、高木直史
    • Organizer
      電子情報通信学会エレクトロニクスソサイエティ大会
    • Place of Presentation
      鳥取大学
    • Year and Date
      2007-09-11
    • Related Report
      2009 Final Research Report 2008 Self-evaluation Report 2007 Annual Research Report
  • [Presentation] シストリックアーキテクチャに基づく高スループットSFQビットシリアル浮動小数点乗算器2007

    • Author(s)
      小畑幸嗣、古田卓也、高木一義、高木直史
    • Organizer
      電子情報通信学会エレクトロニクスソサイエティ大会
    • Place of Presentation
      鳥取市
    • Year and Date
      2007-09-11
    • Related Report
      2008 Self-evaluation Report 2007 Annual Research Report

URL: 

Published: 2006-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi