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

Design methods for high performance-highly reliable systems using auto-backup mechanisms

Research Project

Project/Area Number 17H01709
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Computer system
Research InstitutionThe University of Tokyo

Principal Investigator

Fujita Masahiro  東京大学, 大学院工学系研究科(工学部), 教授 (70323524)

Project Period (FY) 2017-04-01 – 2020-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥14,040,000 (Direct Cost: ¥10,800,000、Indirect Cost: ¥3,240,000)
Fiscal Year 2019: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2018: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2017: ¥5,850,000 (Direct Cost: ¥4,500,000、Indirect Cost: ¥1,350,000)
Keywords高性能計算 / 計算高信頼化 / 不揮発性メモリ / 計算再利用 / デバッグ手法 / テスト手法 / 量子回路 / VLSI配線 / ニューラルネットワーク処理 / AIエッジ処理 / 自動バックアップ / パワーゲーティング / ハイパフォーマンス・コンピューティング / 低消費電力
Outline of Final Research Achievements

By utilizing the circuit design technology that allows adding up to four non-volatile memory layers freely after creating an ordinary CMOS circuit and connecting them freely, we have developed new design methodologies for high-performance and highly reliable hardware systems. Through several examples, it is shown that it is possible to achieve high performance by enabling a large amount of computation in the vicinity of the data processing section and high reliability of processing through the insertion of checkpoints. Since it is non-volatile, it has the advantage of almost no increase in power consumption even when buffering various types of information. Furthermore, we also studied its use for (1) logic design debugging method in VLSI, (2) easy data routing in VLSI, and (3) testing method for quantum circuits, and demonstrated its usefulness by proposing novel methods.

Academic Significance and Societal Importance of the Research Achievements

現在、ますます世の中の処理が自動化され、一方、処理すべきデータ量が膨大になっているため、ハードウェアを利用した情報処理技術の一段の高性能化と高信頼化が必須となっている。本研究では、通常のCMOS回路を作成した後、自由に不揮発性メモリ層を最大4層程度まで追加し両者を自由に接続できる回路設計技術を利用することで、同じチップ面積を利用しながら、ハードウェアシステムの高性能化と高信頼化を同時に実現可能であることが示された。さらに、(1)VLSIにおける論理設計デバッグ手法、(2)VLSIにおけるデータ配線の容易化、(3)量子回路のテスト手法に体しても有効活用できることを新規手法を提案することで示した。

Report

(4 results)
  • 2021 Final Research Report ( PDF )
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • Research Products

    (12 results)

All 2021 2020 2019 2018 2017

All Journal Article (7 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 7 results,  Open Access: 7 results) Presentation (3 results) (of which Int'l Joint Research: 3 results,  Invited: 2 results) Book (2 results)

  • [Journal Article] SAT-Based On-Track Bus Routing2021

    • Author(s)
      He-Teng Zhang, Masahiro Fujita, Chung-Kuan Cheng, Jie-Hong R. Jiang
    • Journal Title

      IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

      Volume: 40(4) Issue: 4 Pages: 735-747

    • DOI

      10.1109/tcad.2020.3007253

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Enhanced Design Debugging With Assistance From Guidance-Based Model Checking2021

    • Author(s)
      V. S. Vineesh, Binod Kumar, Rushikesh Shinde, Neelam Sharma, Masahiro Fujita, Virendra Singh
    • Journal Title

      IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

      Volume: 40(5) Issue: 5 Pages: 985-998

    • DOI

      10.1109/tcad.2020.3011039

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Design of Single-Bit Fault-Tolerant Reversible Circuits2020

    • Author(s)
      Hari Mohan Gaur, Ashutosh Kumar Singh, Anand Mohan, Masahiro Fujita, Dhiraj K. Pradhan
    • Journal Title

      IEEE Design and Test

      Volume: 38(2) Issue: 2 Pages: 89-96

    • DOI

      10.1109/mdat.2020.3006808

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] An approach to approximate computing: Logic transformations for one-minterm changes in specification2017

    • Author(s)
      Fujita Masahiro
    • Journal Title

      2017 IEEE International High Level Design Validation and Test Workshop (HLDVT)

      Volume: 1 Pages: 91-94

    • DOI

      10.1109/hldvt.2017.8167469

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A new approach for selecting inputs of logic functions during debug2017

    • Author(s)
      Gharehbaghi Amir Masoud、Fujita Masahiro
    • Journal Title

      2017 18th International Symposium on Quality Electronic Design (ISQED)

      Volume: 1 Pages: 166-173

    • DOI

      10.1109/isqed.2017.7918311

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] ゲートの種類とゲート信号入力探索による論理最適化・デバッグ手法2017

    • Author(s)
      藤田昌宏、ガラバギアミルマスード
    • Journal Title

      電子情報通信学会技術研究報告信学技報

      Volume: 117 Pages: 151-156

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 複数FPGAを用いたスパイキングニューラルネットワークシミュレーションの高速化2017

    • Author(s)
      岡本朋大、川尾太郎、河野崇、藤田昌宏
    • Journal Title

      電子情報通信学会技術研究報告信学技報

      Volume: 117 Pages: 157-162

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Presentation] Partial synthesis and its application to automatic generation of parallel/distributed algorithms2019

    • Author(s)
      藤田 昌宏
    • Organizer
      International Conference on Software and Computer Application
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] A new semi-formal approach to functional testing2018

    • Author(s)
      藤田 昌宏
    • Organizer
      Workshop on RTL and High Level Testing
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Mobile super computing and big data analysis with non-volatile memory technology2018

    • Author(s)
      Masahiro Fujita
    • Organizer
      International Conference on Software and Computer Applications
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Book] Post-Silicon Validation and Debug2019

    • Author(s)
      Prabhat Mishra, Farimah Farahmandi (Editors)
    • Total Pages
      394
    • Publisher
      Springer
    • ISBN
      9783319981154
    • Related Report
      2018 Annual Research Report
  • [Book] Internet of Things2018

    • Author(s)
      Leon Strous, Vinton G. Cerf (Editors)
    • Total Pages
      233
    • Publisher
      Springer
    • ISBN
      9783030156503
    • Related Report
      2018 Annual Research Report

URL: 

Published: 2017-04-28   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi