集積回路論理設計の自動検証および再合成に関する研究

この論文をさがす

著者

    • 若林, 哲 ワカバヤシ, サトシ

書誌事項

タイトル

集積回路論理設計の自動検証および再合成に関する研究

著者名

若林, 哲

著者別名

ワカバヤシ, サトシ

学位授与大学

法政大学

取得学位

工学博士

学位授与番号

甲第22号

学位授与年月日

1991-03-24

注記・抄録

博士論文

授与名簿のタイトル: 集積回路理論設計の自動検証および再合成に関する研究

目次

  1. 目次 / p1 (0003.jp2)
  2. 第1章 序論 / p1 (0006.jp2)
  3. 1-1.論理合成に関する研究の現状及び動向 / p1 (0006.jp2)
  4. 1-2.本論文の目的 / p3 (0008.jp2)
  5. 1-3.論文構成 / p5 (0010.jp2)
  6. 第2章 論理チェッカーの位置付け / p9 (0014.jp2)
  7. 2-1.まえがき / p9 (0014.jp2)
  8. 2-2.論理合成 / p9 (0014.jp2)
  9. 2-3.論理シミュレーション / p10 (0015.jp2)
  10. 2-4.論理チェッカーの意図 / p11 (0016.jp2)
  11. 2-5.まとめ / p13 (0018.jp2)
  12. 第3章 論理チェッカーの構成 / p14 (0019.jp2)
  13. 3-1.まえがき / p14 (0019.jp2)
  14. 3-2.基本構成 / p15 (0020.jp2)
  15. 3-3.ステップ1の置き換え / p18 (0023.jp2)
  16. 3-4.ステップ2の置き換え / p19 (0024.jp2)
  17. 3-5.出力回路の選択 / p21 (0026.jp2)
  18. 3-6.まとめ / p24 (0029.jp2)
  19. 第4章 人力部のVHDL化 / p25 (0030.jp2)
  20. 4-1.まえがき / p25 (0030.jp2)
  21. 4-2.VHDLの特徴 / p26 (0031.jp2)
  22. 4-3.人力部の検討 / p28 (0033.jp2)
  23. 4-4.まとめ / p30 (0035.jp2)
  24. 第5章 逆方向エキゾスティブ検証法 / p31 (0036.jp2)
  25. 5-1.まえがき / p31 (0036.jp2)
  26. 5-2.検証法の基本構成 / p32 (0037.jp2)
  27. 5-3.ステップ1の置き換え方法 / p33 (0038.jp2)
  28. 5-4.ステップ2の置き換え方法 / p36 (0041.jp2)
  29. 5-5.まとめ / p38 (0043.jp2)
  30. 第6章 ファジィ選択手法 / p39 (0044.jp2)
  31. 6-1.まえがき / p39 (0044.jp2)
  32. 6-2.ファジィ推論 / p40 (0045.jp2)
  33. 6-3.ファジィ選択手法 / p43 (0048.jp2)
  34. 6-4.ファジィ選択手法の重み掛け / p46 (0051.jp2)
  35. 6-5.ファジィ選択プロセス / p48 (0053.jp2)
  36. 6-6.まとめ / p54 (0059.jp2)
  37. 第7章 出力回路図面のスケマティック出力 / p55 (0060.jp2)
  38. 7-1.まえがき / p55 (0060.jp2)
  39. 7-2.図面データ作成方法 / p55 (0060.jp2)
  40. 7-3.自動配置手法 / p56 (0061.jp2)
  41. 7-4.自動配線手法 / p58 (0063.jp2)
  42. 7-5.まとめ / p62 (0067.jp2)
  43. 第8章 実験及び検証 / p63 (0068.jp2)
  44. 8-1.まえがき / p63 (0068.jp2)
  45. 8-2.逆方向エキゾスティブ検証法の実験及び結果 / p63 (0068.jp2)
  46. 8-3.ファジィ選択法の実験及び結果 / p67 (0072.jp2)
  47. 8-4.ISCASベンチマーク回路による実験 / p74 (0079.jp2)
  48. 8-5.ファジィ選択手法の幾何学的検証 / p79 (0084.jp2)
  49. 8-6.数理計画法による目的関数の定義及び検証 / p81 (0086.jp2)
  50. 8-7.まとめ / p85 (0090.jp2)
  51. 第9章 結論 / p86 (0091.jp2)
  52. 謝辞 / p88 (0093.jp2)
  53. 参考文献 / p89 (0094.jp2)
  54. 発表論文一覧 / p94 (0099.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000077388
  • NII著者ID(NRID)
    • 8000000077591
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000241702
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ