EDA演算法#

• 第1章-EDA概論
  • 1.0 章前言
  • 1.1-什麼是EDA
  • 1.2-晶片設計流程與演算法角色
  • 1.3-EDA的歷史與發展
• 第2章-布林邏輯表示
  • 2.0 章前言
  • 2.1-布林代數與真值表
  • 2.2-卡諾圖與化簡
  • 2.3-Quine-McCluskey演算法
• 第3章-組合電路合成
  • 3.0 章前言
  • 3.1-多級邏輯優化
  • 3.2-二分決策圖BDD
  • 3.3-查找表LUT映射與FPGA
• 第4章-時序電路與狀態機
  • 4.0 章前言
  • 4.1-有限狀態機與最小化
  • 4.2-狀態編碼
  • 4.3-時序分析與時脈約束
• 第5章-驗證演算法
  • 5.0 章前言
  • 5.1-模擬與驗證策略
  • 5.2-SAT求解器與DPLL
  • 5.3-模型檢查入門
• 第6章-邏輯等效性與等價檢查
  • 6.0 章前言
  • 6.1-組合等效性檢查
  • 6.2-使用BDD與SAT做等效驗證
  • 6.3-順序等效性簡介
• 第7章-佈局演算法
  • 7.0 章前言
  • 7.1-線長模型與HPWL
  • 7.2-最小切割佈局
  • 7.3-模擬退火與力導向佈局
• 第8章-繞線演算法
  • 8.0 章前言
  • 8.1-迷宮繞線Lee演算法
  • 8.2-A*與繞線最佳化
  • 8.3-全局繞線與詳細繞線
• 第9章-實體設計進階
  • 9.0 章前言
  • 9.1-時脈樹合成CTS
  • 9.2-電源網路與IR壓降
  • 9.3-可製造性設計DFM
• 第10章-EDA的未來
  • 10.0 章前言
  • 10.1-機器學習在EDA的應用
  • 10.2-開源EDA工具與生態
  • 10.3-EDA演算法的實戰總結