高級驗證方法學()-Mentor-筆記

1、事物級組件間一般用fifo作爲通信通道 2、sv中，參數或局部參數優先於宏，這樣可以減少編譯的次數 3、驗證方案從設計規範來，驗證方案有一個問題清單，列舉所有驗證過程需要回答的問題，和說明如何被回答的機制的描述。此外還有一個checklist，列舉所有需要回答的問題，它也是測試平臺的功能規範 4、systemC不適合構建低層次驗證平臺 5、激勵生成方式：隨機、定向、定向隨機，運行方式：自由運行

>>阅读原文<<