| 研究課題/領域番号 |
20700046
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
中村 一博 名古屋大学, 大学院・情報科学研究科, 助教 (90335076)
|
|---|
| 研究期間 (年度) |
2008 – 2009
|
| 研究課題ステータス |
完了 (2009年度)
|
| 配分額 *注記 |
3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2009年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2008年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
|
|---|
| キーワード | VLSI設計技術 / 諭理回路 / 形式的検証 / 順序回路 / フォールスネガティブ / 論理回路 / sequential SAT |
|---|
| 研究概要 |
順序回路の形式的検証において、回路変換を行うことにより、到達不能状態における動作を誤検出されないような動作に変更し、フォールスネガティブを削減する手法を開発した。また、順序回路のsequential SAT問題を解くアルゴリズムを高速化する手法として、異なる時間フレームに属する状態同士を併合する手法を開発した。
|
