| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2008年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2007年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
|
|---|
| 研究概要 |
モデル検査は計算機のハードウェアやソフトウェアの正しさを自動的かつ網羅的に検証する技術であり,近年利用がすすんでいる.しかし,複雑な演算を含む設計では,小規模な設計でも扱うことが難しい.本研究では,特にハードウェアの高位設計記述を対象に,複数の論理体系を組み合わせる手法により,不必要な部分の詳細を考慮せずモデル検査を行う方法を開発・実装した.ディジタル信号処理など,従来の手法では扱うことができなかった例に対するモデル検査に成功した.
|
