テーマ：高信頼システムの実現 ー ディペンダブルコンピューティングシステム 　 コンピュータは家電製品や自動車などに組込みシステムとして広く利用されるようになり、その役割は単に生活を便利にするだけでなく、経済や生命にも大きく関わるものとなっています。そのようなコンピュータシステムを信頼して安全に利用できる、すなわち「頼れる（ディペンダブル）」ものにするには、耐故障性やフェールセーフなどの設計が必要です。 研究室では、小さい費用で設計可能な高信頼システムを設計するための手法を研...　[記事全文を表示]

テーマ：大規模集積回路／コンピュータシステムの設計とその自動化 (VLSI-CAD) 　 半導体技術の進歩はめざましく、今日では、VLSI (大規模集積回路) は単にコンピュータ機器の部品として使われるだけでなく、家電製品や自動車の制御など、私たちの普段の生活に密接に関わるようになってきました。 このような大規模で高性能、高機能なVLSIの設計には、コンピュータによる支援設計（CAD: Computer-Aided Design）や設計自動化（DA: Design Automat...　[記事全文を表示]