木村 晋二 教授 (きむら しんじ)

Click here for the English version/英語版はこちら

 

自己紹介

 

研究室紹介動画

 

研究テーマ・領域

高位検証技術

論理回路の規則的な設計手法に始まり、現在のシステムLSIの設計検証まで、ずっとLSIの設計と検証の研究をしています。検証は耳慣れない言葉ですが、自分の設計したものが本当に正しいことを示すという重要な仕事です。LSIの製造には数千万の費用と数ヶ月の期間を要するため、設計レベルで正しさを示す必要があるのです。Javaプロセッサ、音声認識、顔の認識LSIの設計をしながら、どうすれば設計誤りが起きないか、また設計誤りが無いことをどう自動的に示せるかを考える毎日です。