EDA

系統晶片驗證

• 開課教授：黃鐘揚
• 推薦預先修習的課程：EDA導論有的話好一咪咪 但沒有也沒差
• 課程小卦：
  1. 電子所的課程，主要就是涵蓋了formal verification的大致內容，從BDD base的驗證到SAT base的都會介紹，內容方面個人認為難度普通，作業總共五次佔50%，手寫coding都有；期末考佔25%，open everything 包含上網；final project佔25%，會跟班上的同學比performance。如果你對於coding沒興趣的話不建議來修，因為codeing的部分蠻重的，期末考題目也偏多XD，如果不是對整體概念相當熟悉的話可能會寫不完這樣。