仕様の検証機構を備えた論理設計自動化システムの研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
仕様の検証機構を備えた論理設計自動化システムの研究
- 著者名
-
丸山, 文宏
- 著者別名
-
マルヤマ, フミヒロ
- 学位授与大学
-
東京大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
乙第10345号
- 学位授与年月日
-
1991-09-18
注記・抄録
博士論文
目次
- 目次 / p1 (0003.jp2)
- 第1章 序論 / p1 (0005.jp2)
- 1.1 研究の背景 / p2 (0006.jp2)
- 1.2 研究の目的と概要 / p5 (0007.jp2)
- 第2章 従来の研究 / p8 (0009.jp2)
- 2.1 形式的検証 / p9 (0009.jp2)
- 2.2 論理合成 / p11 (0010.jp2)
- 第3章 システムの概要 / p16 (0013.jp2)
- 第4章 機能レベルの形式的検証 / p18 (0014.jp2)
- 4.1 はじめに / p19 (0014.jp2)
- 4.2 ハードウェア記述言語DDL / p20 (0015.jp2)
- 4.3 論理式による仕様の表現 / p25 (0017.jp2)
- 4.4 時間を逆に遡るアルゴリズム / p30 (0020.jp2)
- 4.5 時相論理への拡張 / p38 (0024.jp2)
- 4.6 むすび / p40 (0025.jp2)
- 第5章 検証サブシステム(DDLベリファイア) / p42 (0026.jp2)
- 5.1 はじめに / p43 (0026.jp2)
- 5.2 システム概要 / p45 (0027.jp2)
- 5.3 ユーザ・インタフェース / p50 (0030.jp2)
- 5.4 評価 / p56 (0033.jp2)
- 5.5 むすび / p63 (0036.jp2)
- 第6章 制約条件に対する評価と再設計 / p64 (0037.jp2)
- 6.1 はじめに / p65 (0037.jp2)
- 6.2 論理設計における制約条件 / p66 (0038.jp2)
- 6.3 制約違反条件 / p76 (0043.jp2)
- 6.4 評価・再設計アルゴリズム / p82 (0046.jp2)
- 6.5 むすび / p88 (0049.jp2)
- 第7章 合成サブシステム(co-LODEX) / p89 (0049.jp2)
- 7.1 はじめに / p90 (0050.jp2)
- 7.2 モジュール構成 / p91 (0050.jp2)
- 7.3 ユーザ・インタフェース / p97 (0053.jp2)
- 7.4 評価 / p99 (0054.jp2)
- 7.5 むすび / p123 (0066.jp2)
- 第8章 結論 / p124 (0067.jp2)
- 謝辞 / p125 (0067.jp2)
- 参考文献 / p126 (0068.jp2)
- 著者発表論文一覧 / p131 (0070.jp2)
- 付録 / p1 (0071.jp2)
- 付録1 4.4.5における導出の詳細 / p1 (0071.jp2)
- 付録2 アダプタの最終的なDDL記述 / p2 (0072.jp2)
- 付録3 アダプタの検証例 / p28 (0085.jp2)
- 付録4 制約違反条件の性質に関する命題の証明 / p42 (0092.jp2)