Okayama University of Science · Faculty of Engineering · 准教授

Research keywords闈炲悓鏈熷紡鍥炶矾・FPGA蹇滅敤

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
• 相補制御に基づく休止相を隠蔽可能な非同期式直列乗算器の一構成法
• 共有バス型大規模デジタルシステムを対象とした性能評価の高速化
• Globally Asynchronous Locally Synchronous Systemにおける非同期バスの一構成法

• 密結合ヘテロジニアスマルチコアによる高信頼車載応用画像認識の研究
• 複数のFPGAを用いた超高信頼システム設計支援環境の構築
• 非同期式直列演算器に基づいた超低消費電力デジタル補聴器の開発
• ネットワークオンチップに基づく革新的な医用画像処理アクセラレータの開発

• Official profile