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

2013 Fiscal Year Final Research Report

Automatic correction of hardware systems based on stream processing

Research Project

  • PDF
Project/Area Number 24650019
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeSingle-year Grants
Research Field Computer system/Network
Research InstitutionThe University of Tokyo

Principal Investigator

FUJITA Masahiro  東京大学, 学内共同利用施設等, 教授 (70323524)

Co-Investigator(Kenkyū-buntansha) MATSUMOTO Takeshi  東京大学, 大規模集積システム設計教育研究センター, 助教 (40536140)
Project Period (FY) 2012-04-01 – 2014-03-31
Keywordsストリーム処理 / 設計自動修復 / 高性能計算 / 多重表引 / メモリベース計算
Research Abstract

In big data analysis, such as analyzing data on images, web manipulations, and sensor networks, same operations are repeated on each data item. Such big data are arranged as very long flows of data, called data stream, so that operations on different data items can be processed in parallel as highly pipelined operations. We have developed a new methodology where such data steams are processed by multiple retrievals of relatively small tables. As all tables are retrieved in parallel, we can expect huge parallelisms. It is also called memory-based computing in contrast to processor-based processing which is widely used today. We have developed a set of techniques by which the processing system can be automatically corrected even if some of the tables are disorder by adjusting other tables appropriately.

  • Research Products

    (14 results)

All 2014 2013 2012 Other

All Journal Article (1 results) Presentation (12 results) Remarks (1 results)

  • [Journal Article] SAT-based automatic rectification and debugging of combinational circuits with LUT insertions2014

    • Author(s)
      S. Jo, T. Matsumoto, and M. Fujita
    • Journal Title

      IPSJ Transactions on System LSI Design Methodology

      Volume: Vol.7, February Issue Pages: 46-55

  • [Presentation] RTL datapath optimization using system-level transformations2014

    • Author(s)
      S. Ghandali, B. Alizadeh, M. Fujita, Z. Navabi
    • Organizer
      Proc. of International Symposium on Quality Electronic Design (ISQED'14)
    • Year and Date
      20140300
  • [Presentation] アサーション自動生成とそのシミュレーションによる完全検証2014

    • Author(s)
      藤田昌宏, 城怜史, 松本剛史
    • Organizer
      組込技術とネットワークに関するワークショップ(ETNET2014)
    • Year and Date
      20140300
  • [Presentation] プログラム可能データパスとSMTソルバーを利用した高位設計デバッグ手法2014

    • Author(s)
      松本剛史, 城怜史, 藤田昌宏
    • Organizer
      組込技術とネットワークに関するワークショップ(ETNET2014)
    • Year and Date
      20140300
  • [Presentation] Debugging Processors with Advanced Features by Reprogramming LUTs on FPGA2013

    • Author(s)
      S. Jo, A.M. Gharehbaghi, T. Matsumoto, and M. Fujita
    • Organizer
      Proc. of the International Conference on Field-Programmable Technology (ICFPT)
    • Year and Date
      20131200
  • [Presentation] Hardware Implementation of BLTL Property Checkers for Acceleration of Statistical Model Checking2013

    • Author(s)
      K. Oshima, T. Matsumoto, and M. Fujita
    • Organizer
      Proc. of the International Conference on Computer-Aided Design (ICCAD'13)
    • Year and Date
      20131100
  • [Presentation] Partial synthesis through sampling with and without specification2013

    • Author(s)
      M. Fujita, S. Jo, S. Ono, and T. Matsumoto
    • Organizer
      Proc. of the International Conference on Computer-Aided Design (ICCAD'13)
    • Year and Date
      20131100
  • [Presentation] A Debugging Method for Gate Level Circuit Designs by Introducing Programmability2013

    • Author(s)
      K. Oshima, T. Matsumoto, and M. Fujita
    • Organizer
      Proc. of 21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC'13)
    • Year and Date
      20131000
  • [Presentation] High Performance and Flexible Computing Systems with Electronic Design Automation2013

    • Author(s)
      M. Fujita
    • Organizer
      2013 IEEE International Conference on Electronic Measurement & Instruments
    • Year and Date
      20130800
  • [Presentation] Diagnosis and correction of buggy hardware/software with formal approaches2013

    • Author(s)
      M. Fujita
    • Organizer
      17th International Symposium on VLSI Design and Test
    • Year and Date
      20130700
  • [Presentation] Diagnosis and Correction of Buggy Hardware/Software with Formal Approaches2013

    • Author(s)
      M. Fujita
    • Organizer
      International Workshop on Design and Implementation of Formal Tools and Systems
    • Place of Presentation
      Portland, OR
    • Year and Date
      2013-10-19
  • [Presentation] SAT-based automatic rectification and debugging of combinational circuits with LUT insertions2012

    • Author(s)
      S. Jo, T. Matsumoto, and M. Fujita
    • Organizer
      Proc. of IEEE 21st Asia Test Symposium
    • Year and Date
      20121100
  • [Presentation] Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs2012

    • Author(s)
      S. Ono, T. Matsumoto, and M. Fujita
    • Organizer
      Proc. of IEEE 30th International Conference on Computer Design
    • Year and Date
      20121000
  • [Remarks]

    • URL

      http://www.cad.t.u-tokyo.ac.jp

URL: 

Published: 2015-06-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi