代数的手法を用いた同期式順序回路の段階的設計および型式的検証
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
代数的手法を用いた同期式順序回路の段階的設計および型式的検証
- 著者名
-
北道, 淳司
- 著者別名
-
キタミチ, ジュンジ
- 学位授与大学
-
大阪大学
- 取得学位
-
博士(工学)
- 学位授与番号
-
乙第7614号
- 学位授与年月日
-
1998-10-14
注記・抄録
博士論文
目次
- 目次 / (0006.jp2)
- 1 緒論 / p1 (0007.jp2)
- 1.1 本研究の背景と概要 / p1 (0007.jp2)
- 1.2 ディジタル回路の設計の上流工程における形式的検証について / p8 (0011.jp2)
- 2 同期式順序回路の形式的記述及び段階的設計 / p14 (0014.jp2)
- 2.1 序言 / p14 (0014.jp2)
- 2.2 代数的記述言語を用いた同期式順序回路の形式的記述法 / p14 (0014.jp2)
- 2.3 同期式順序回路の設計の正しさの定義 / p30 (0022.jp2)
- 2.4 要求仕様レベルから論理設計レベルまでの段階的な回路設計法 / p35 (0024.jp2)
- 2.5 結言 / p46 (0030.jp2)
- 3 提案する設計法に基づく設計支援システム / p47 (0030.jp2)
- 3.1 序言 / p47 (0030.jp2)
- 3.2 提案する設計法にもとづく段階的回路設計支援システムの概要 / p47 (0030.jp2)
- 3.3 段階的回路設計支援システムを用いた評価実験 / p54 (0034.jp2)
- 3.4 結言 / p61 (0037.jp2)
- 4 同期式順序回路設計の正しさの形式的検証 / p62 (0038.jp2)
- 4.1 序言 / p62 (0038.jp2)
- 4.2 設計の正しさの形式的検証に用いる検証技法とそれらを用いた検証手順 / p62 (0038.jp2)
- 4.3 提案手法のための形式的検証支援システムとそれを用いた検証 / p66 (0040.jp2)
- 4.4 結言 / p79 (0046.jp2)
- 5 検証に用いるプレスブルガー文真偽判定のための―高速化手法 / p81 (0047.jp2)
- 5.1 序言 / p81 (0047.jp2)
- 5.2 プレスブルガー文の表現のためのデータ構造とその上での処理方法 / p82 (0048.jp2)
- 5.3 実現したプレスブルガー文真偽判定系の評価実験 / p87 (0050.jp2)
- 5.4 結言 / p94 (0054.jp2)
- 6 結論 / p96 (0055.jp2)
- 謝辞 / p98 (0056.jp2)
- 参考文献 / p99 (0056.jp2)