仕様の検証機構を備えた論理設計自動化システムの研究

この論文をさがす

著者

    • 丸山, 文宏 マルヤマ, フミヒロ

書誌事項

タイトル

仕様の検証機構を備えた論理設計自動化システムの研究

著者名

丸山, 文宏

著者別名

マルヤマ, フミヒロ

学位授与大学

東京大学

取得学位

博士 (工学)

学位授与番号

乙第10345号

学位授与年月日

1991-09-18

注記・抄録

博士論文

目次

  1. 目次 / p1 (0003.jp2)
  2. 第1章 序論 / p1 (0005.jp2)
  3. 1.1 研究の背景 / p2 (0006.jp2)
  4. 1.2 研究の目的と概要 / p5 (0007.jp2)
  5. 第2章 従来の研究 / p8 (0009.jp2)
  6. 2.1 形式的検証 / p9 (0009.jp2)
  7. 2.2 論理合成 / p11 (0010.jp2)
  8. 第3章 システムの概要 / p16 (0013.jp2)
  9. 第4章 機能レベルの形式的検証 / p18 (0014.jp2)
  10. 4.1 はじめに / p19 (0014.jp2)
  11. 4.2 ハードウェア記述言語DDL / p20 (0015.jp2)
  12. 4.3 論理式による仕様の表現 / p25 (0017.jp2)
  13. 4.4 時間を逆に遡るアルゴリズム / p30 (0020.jp2)
  14. 4.5 時相論理への拡張 / p38 (0024.jp2)
  15. 4.6 むすび / p40 (0025.jp2)
  16. 第5章 検証サブシステム(DDLベリファイア) / p42 (0026.jp2)
  17. 5.1 はじめに / p43 (0026.jp2)
  18. 5.2 システム概要 / p45 (0027.jp2)
  19. 5.3 ユーザ・インタフェース / p50 (0030.jp2)
  20. 5.4 評価 / p56 (0033.jp2)
  21. 5.5 むすび / p63 (0036.jp2)
  22. 第6章 制約条件に対する評価と再設計 / p64 (0037.jp2)
  23. 6.1 はじめに / p65 (0037.jp2)
  24. 6.2 論理設計における制約条件 / p66 (0038.jp2)
  25. 6.3 制約違反条件 / p76 (0043.jp2)
  26. 6.4 評価・再設計アルゴリズム / p82 (0046.jp2)
  27. 6.5 むすび / p88 (0049.jp2)
  28. 第7章 合成サブシステム(co-LODEX) / p89 (0049.jp2)
  29. 7.1 はじめに / p90 (0050.jp2)
  30. 7.2 モジュール構成 / p91 (0050.jp2)
  31. 7.3 ユーザ・インタフェース / p97 (0053.jp2)
  32. 7.4 評価 / p99 (0054.jp2)
  33. 7.5 むすび / p123 (0066.jp2)
  34. 第8章 結論 / p124 (0067.jp2)
  35. 謝辞 / p125 (0067.jp2)
  36. 参考文献 / p126 (0068.jp2)
  37. 著者発表論文一覧 / p131 (0070.jp2)
  38. 付録 / p1 (0071.jp2)
  39. 付録1 4.4.5における導出の詳細 / p1 (0071.jp2)
  40. 付録2 アダプタの最終的なDDL記述 / p2 (0072.jp2)
  41. 付録3 アダプタの検証例 / p28 (0085.jp2)
  42. 付録4 制約違反条件の性質に関する命題の証明 / p42 (0092.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000097989
  • NII著者ID(NRID)
    • 8000000098218
  • DOI(NDL)
  • NDL書誌ID
    • 000000262303
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ