アーキテクチャと形式的検証の協調による超ディペンダブルVLSI

研究代表者 　坂井　修一 （東京大学　大学院情報理工学系研究科　教授） 研究室HP 研究課題概要 画像をクリックすると拡大します 　情報社会の中心部品であるVLSIを正しく設計し、無故障にする技術を目指し、回路設計技術からアーキテクチャまでを総合的に研究開発します。具体的には、形式的検証手法の新規開発、フィールドプログラマブルな回路の導入、タイミング故障の動的防止回路の導入などによって、VLSIの信頼性を飛躍的に向上させます。研究成果は、設計支援ツール群や新回路・新アーキテクチャとして産業界に還元し、半導体・家電・自動車・航空・宇宙などにおける日本の産業競争力を強化するための技術的基盤を創ります。 主たる共同研究者 　藤田　昌宏 （東京大学　大規模集積システム設計教育研究センター　教授） 　吉瀬　謙二 （東京工業大学　大学院情報理工学研究科　講師） 　若林　一敏 （日本電気（株）システムIPコア研究所　主管研究員）

会議資料（公開用）

●キックオフミーティング（平成19年10月）（PDF 516kB）
●平成20年度領域会議（平成20年10月）（PDF 1,031kB）
●ディペンダブルVLSIワークショップ2008（平成20年12月）（PDF 1,092kB）
●平成21年度領域会議（平成21年4月）（PDF 1,048kB）
●ディペンダブルVLSIシステムワークショップ2009（平成21年12月）（PDF 875kB）
●平成22年度第1回領域会議（平成22年6月）（PDF 1,219kB）
●平成22年10月第2回領域会議 東京大学 藤田教授（PDF 145kB）
●平成22年10月第2回領域会議 東京大学 五島准教授（PDF 123kB）
●ディペンダブルVLSIシステムワークショップ2011（平成23年3月）（PDF 899kB）
●ディペンダブルVLSIシステムワークショップ2011/12（平成23年12月）（PDF 1,163kB）
●平成24年度第1回領域会議（平成24年6月）（PDF 578kB）
●平成24年度第1回国際シンポジウム（平成24年12月）（PDF 2,175kB）
●平成24年度第2回領域会議（平成25年3月）（PDF 1,129kB）

研究年報

●平成19年度実績報告書（PDF 2,177kB）
●平成20年度実績報告書（PDF 1,810kB）
●平成21年度実績報告書（PDF 1,997kB）
●平成22年度実績報告書（PDF 3,140kB）
●平成23年度実績報告書（PDF 872kB）