Yoneda Tomohiro

Affiliation and department：
Job title： Professor
Other affiliations (1)：

Homepage URL (1)： http://research.nii.ac.jp/~yoneda/

Research field (1)： Computer systems

Research theme for competitive and other funds (24)：

2021 - 2025 Development of a high-speed and ultra-low-power die-hard logic LSI fundamental technology for IoT applications
2016 - 2021 脳型コンピューティング向けダーク・シリコンロジックLSIの基盤技術開発
2015 - 2018 New Approach to Design of Transition Signaling Asynchronous Circuits
2015 - 2018 Study on Implementation for Greatly Reducing Power Dissipation of Serial Communication Mechanisms
2016 - 2017 脳型コンピューティング向けダーク・シリコンロジックLSIの基盤技術開発

2011 - 2015 Optimization techniques for asynchronous circuit design

2008 - 2010 A Fundamental Study on Hardware Accelerator for SVG

2003 - 2004 Research on an efficient analysis method of real-time software based on a level oriented net model

2000 - 2003 Verification methods of secure systems based on logical specifications

2002 - 2002 多値技術に基づく高速データ転送とそのマルチメディアVLSIプロセッサへの応用

2000 - 2002 Research on a synthesis and verification tool for high performance asynchronous circuits

1997 - 1998 Research on formal verification of asynchronous logic circuits with bounded delays

1996 - 1996 定理証明方式に基づく非同期式回路の検証に関する研究

1995 - 1996 Study on Implementation and Evaluation of High-performance Asynchronous Microprocessor

1994 - 1995 Investigation of the Actual Conditions of the Academic Research in Japan

1994 - 1994 非同期式プロセッサの設計検証システムに関する研究

1993 - 1993 リアルタイムシステムのための階層的時間検証方式に関する研究

1992 - 1993 Study on Architecture and Design Methdology of Asynchronous Processors

1992 - 1992 リアルタイム時相論理に基づく高速時間検証方式に関する研究

1991 - 1991 リアルタイムシステムのための並列時間検証方式に関する研究

1990 - 1991 Research on Automatic Synthesis of Self-Checking Processors.

1989 - 1989 分散型データベースシステムにおける耐故障化プロトコルの検証の関する研究

1988 - 1989 セルフチェッキング機能に基づくVLSIテスト方式に関する研究

1985 - 1986 Research on Self-Checking VLSI Processors

Show all

Papers (211)：

ｍore...

MISC (106)：

ｍore...

Books (3)：

Lectures and oral presentations (25)：

GALSシステム向け再構成可能非同期式回路の検討
(ブレインウェア工学研究会 2016)
How is a hardware mechanism for dependability evaluated in ISO26262?
(D2T Symposium 2015 2015)
A New Approach to Synthesis of Transition Signaling Asynchronous Circuits
(SASIMI 2015 2015)
Major Reliability Issues in Hardware Platforms for Automotive Applications
(SASIMI 2015 2015)
改良Pair&Swapによるディペンダブルタスク実行手法の評価
(CREST最終報告会 2015)

ｍore...

Works (2)：

Professional career (1)：

Awards (2)：

2020/09 - 情報処理学会システムとLSIの設計技術研究会優秀論文賞ポストレイアウトシミュレーションのためのSPFファイル縮小化に関する一考察
2013/09 - IEICE Fellow Pioneering Research on Design and Formal Verification of Asynchronous Systems

Association Membership(s) (4)：

IEEE , 日本ソフトウェア科学会 , 情報処理学会 , 電子情報通信学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page