| 研究課題/領域番号 |
01850074
|
|---|
| 研究種目 |
試験研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報工学
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
矢島 脩三 京都大学, 工学部, 教授 (20025901)
|
|---|
| 研究分担者 |
川久保 和雄 福山大学, 工学部, 助教授 (10186067)
荻野 博幸 京都大学, 工学部, 教務職員 (40144323)
石浦 菜岐佐 京都大学, 工学部, 助手 (60193265)
高木 直史 京都大学, 工学部, 助手 (10171422)
平石 裕実 京都大学, 工学部, 助教授 (40093299)
|
|---|
| 研究期間 (年度) |
1989 – 1990
|
| 研究課題ステータス |
完了 (1990年度)
|
| 配分額 *注記 |
8,200千円 (直接経費: 8,200千円)
1990年度: 2,500千円 (直接経費: 2,500千円)
1989年度: 5,700千円 (直接経費: 5,700千円)
|
|---|
| キーワード | 論理設計検証 / タイミング検証 / 論理シミュレ-ション / 記号シミュレ-ション / 論理設計 / 非同期式順序回路 / ハザ-ド / 論立設計検証 |
|---|
| 研究概要 |
本研究では、時間記号シミュレ-ションによる論理設計検証システムの試作研究を行ない、以下の成果を得た。
1.論理設計検証アルゴリズムの研究
時間記号シミュレ-ションの結果解析の手法として、イベント木の照合を行なう方法、および、仕様を表すオ-トマトンの記号シミュレ-ションに基づく方法を開発した。また、被検証システムの期待される動作を記述する方法として、正則時相論理を用いる方法について研究を行なった。
2.記号シミュレ-ション、論理関数処理のアルゴリズムの研究
時間記号シミュレ-ションで必要になる論理式の整理、簡単化を効率良く行なう方法として、共有二分決定グラフ表現に基づく高速な論理関数処理手法を開発した。また、シミュレ-ション結果の理解しやすい表示を得る方法として、論理関数の最小化、素項生成に関する研究を行なった。
3.時間記号シミュレ-ション・ソフトウェアの開発
シミュレ-ションおよび結果解析のアルゴリズムの研究を行ない、時間記号シミュレ-ションのソフトウェアを開発した。このシミュレ-タは、帰還ル-プを含む回路を直接シミュレ-ションすることができ、約100ゲ-ト程度の非同期回路を扱うことができる。
4.論理設計検証のシステムのグラフィック・インタフェ-スの研究
マルチコンピュ-タ・マルチスクリ-ン(MCMS)システムとワ-クステ-ションの結合、デ-タ管理に関する研究を行ない、論理設計検証システムの利用者インタフェ-スの試作を行なった。
|
