Rchr
J-GLOBAL ID：201601001298604752   Update date: Dec. 27, 2023

Matsumoto Takeshi

Matsumoto Takeshi
Affiliation and department：
Ishikawa National College of Technology Department of Electronics and Information Engineering

About Ishikawa National College of Technology Department of Electronics and Information Engineering


Research field  (1)： Electronic devices and equipment
Research keywords  (2)： ハードウェア設計検証・デバッグ支援 ,  VLSI設計支援工学
Research theme for competitive and other funds  (6)：
  • 2020 - 2024 回路分野の学生実験における検証・デバッグ技術の活用による高度化・効率化
  • 2017 - 2021 Development of Coverage Metric for Formal Property Verification
  • 2015 - 2018 Efficient FPGA Circuit Modification for Specification Change and Design Debug
  • 2012 - 2015 Logic verification and synthesis based on difference analysis
  • 2012 - 2014 Automatic correction of hardware systems based on stream processing
Show all
Papers (23)：
ｍore...
Lectures and oral presentations  (25)：
  • ストリーム化による画像処理の高速化とそのFPGA実装
    (平成30年度北陸地区学生による研究発表会 2019)
  • 学生実験用CPU回路のデバッグ支援に関する研究
    (平成30年度北陸地区学生による研究発表会 2019)
  • 配線資源量を考慮したブレッドボード回路の自動配線
    (平成30年度北陸地区学生による研究発表会 2019)
  • 低学年学生のための回路製作への興味を喚起する「付録付き雑誌」型自学自習教材の開発
    (2017年度信州大学実験・実習技術研究会 2018)
  • ゲートアレイ方式による集積回路のレイアウト設計
    (平成29年度北陸地区学生による研究発表会 2018)
ｍore...
Awards (1)：
  • 2013/03 - 情報処理学会 山下記念研究賞 反例と設計分割に基づく高位設計に対する効率的な設計修正支援手法
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM