| 研究課題/領域番号 |
23700051
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
松本 剛史 東京大学, 大規模集積システム設計教育研究センター, 助教 (40536140)
|
|---|
| 研究期間 (年度) |
2011 – 2012
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2012年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
|---|
| キーワード | 等価性検証 / システムレベル設計 / 形式的検証 / 高位設計 |
|---|
| 研究概要 |
組み込み機器やVLSIの設計記述の論理的な正しさを検証する手法について研究を行った。その中でも、研究の対象は、与えられた2つの設計記述が論理的に等価かどうかを調べる等価性検証である。また、検証対象は、近年、広く用いられるようになったシステムレベル設計と呼ばれる抽象度の高い設計記述である。本研究では、システムレベル設計記述に対して、その入出力タイミングを考慮した等価性検証手法、および、内部等価点の効率的な探索手法について研究を行い、システムレベル設計記述の等価性検証をより高性能化することを目指した。
|
