使用自由軟體建構邏輯設計的驗證平台 -- TRUSS

yslee925

2007年底，我加入一間美商 start-up ，
他們用 vera 來驗證他們的邏輯設計。
3 Q' q5 J, D3 h: V( b我的任務是 video engine 的 design change,
1 [, z5 D9 a6 |  [由於沒有人和我交接(前一位負責的工程師在我加入前便離開了)，
- J- }+ V: m1 g$ s" V: D* S- K; a我只能祈禱我所做的修改不要把原來 OK 的功能改壞了，
這時前人留下的 vera pattern 發揮了驚人的把關能力，
9 r- G% E. T  a, b讓我以前錯誤的觀念 (design 重於 verification) 徹底改變。
: f6 {# ~* U' _5 ^/ n* j9 @6 Q
5 e2 M9 w; K' j; V  Q, W! j雖然不久之後我也離開了，
! H% s& k5 I3 m新東家用的是 cadence ncsim，
verification 的方法是用 verilog implement monitor, checker, bfm, ... etc.
但畢竟這和以前用過的 vera 不可同日而語，
於是興起了一個念頭：尋找可用於 cadence ncsim 的驗證環境

, L7 r3 w3 v+ b# G3 p- T我找到了 TRUSS ，[size=100%]它定義了一套完整的邏輯驗證架構，
透過 PLI/VPI ，它可以使用 C/C++ 建構驗證程序，
. I  |' \0 ~& n0 U以驗證使用 Verilog 製作的設計；
並且它是開放源碼的自由軟體，
每個人都可以免費取得並使用它。

9 g( n* Y3 P1 W- q4 Q$ E我計劃將我的使用心得記錄在 Blog 上，
& i$ x9 P) a0 t/ l% z歡迎討論指教。
' l# Y, |( s$ Q; P- t$ Z( H& u
Yi-shin Li