研課題
J-GLOBAL ID：202104017731753630
研究課題コード：10100349 アーキテクチャと形式的検証の協調による超ディペンダブルVLSI
実施期間：2007 - 2012
実施機関 (1件)：
東京大学
研究代表者：
坂井 修一
(
東京大学
, 大学院情報理工学系研究科, 教授 )
東京大学 について
DOI： https://doi.org/10.52926/JPMJCR0752
研究概要：
情報社会の中心部品であるVLSIを正しく設計し、無故障にする技術を目指し、回路設計技術からアーキテクチャまでを総合的に研究開発します。具体的には、形式的検証手法の新規開発、フィールドプログラマブルな回路の導入、タイミング故障の動的防止回路の導入などによって、VLSIの信頼性を飛躍的に向上させます。研究成果は、設計支援ツール群や新回路・新アーキテクチャとして産業界に還元し、半導体・家電・自動車・航空・宇宙などにおける日本の産業競争力を強化するための技術的基盤を創ります。
タイトルに関連する用語 (4件)：
研究制度： タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
アーキテクチャ
, アーキテクチャ について
形式的検証
, 形式的検証 について
協調
, 協調 について
VLSI
VLSI について
戦略的な研究開発の推進
＞ 戦略的な研究開発の推進 について
戦略的創造研究推進事業
＞ 戦略的創造研究推進事業 について
CREST
CREST について
上位研究課題： ディペンダブルVLSIシステムの基盤技術
研究所管機関： 報告書等：
前のページに戻る
