2012 年度終了報告書

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

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業 CREST

PDF

体系的番号	JPMJCR0752
DOI	https://doi.org/10.52926/JPMJCR0752
研究代表者	坂井修一東京大学, 大学院情報理工学系研究科, 教授
研究期間 (年度)	2007 – 2012
研究領域	ディペンダブルVLSIシステムの基盤技術