自己紹介
- 工学博士(京都大学)
- 趣味は読書で、特にミステリが好きです。好きな言葉は親切、丁寧、思いやりです。
- 早稲田大学研究者データベース
- 木村研究室ホームページ
- Email : shinji_kimura(at)waseda.jp
*(at)は@に置き換え
研究テーマ・領域
高位検証技術
論理回路の規則的な設計手法に始まり、現在のシステムLSIの設計検証まで、ずっとLSIの設計と検証の研究をしています。検証は耳慣れない言葉ですが、自分の設計したものが本当に正しいことを示すという重要な仕事です。LSIの製造には数千万の費用と数ヶ月の期間を要するため、設計レベルで正しさを示す必要があるのです。Javaプロセッサ、音声認識、顔の認識LSIの設計をしながら、どうすれば設計誤りが起きないか、また設計誤りが無いことをどう自動的に示せるかを考える毎日です。
- 高位設計と検証
- 応用指向の高位合成
- ハードウェア/ソフトウェア協調設計
- テスト容易化設計