ゼミナール講演
日時
平成 17年 7月 25日(月) 4限 (15:10 -- 16:40)
場所
L1
講演者
宮本俊介
所属
（株）半導体理工学研究センター 技監
講演題目
コンピュータの設計ー検証の立場からー
概要
Verification crisisの言葉は、何時の世でも設計者の口の端にのぼります。次世代のコンピュータを検証するためには、同等のMIPSを持ってしないと検証できないとの言い伝えも古の昔から言われています。かつて検証に従事した経験から、実例を交えて、古くてなお新しい話をしたいと考えています。
ゼミナールI,II予定ページへ戻る
平成17年度ゼミナール担当