Chip123 科技應用創新平台
標題:
使用自由軟體建構邏輯設計的驗證平台 -- TRUSS
[打印本頁]
作者:
yslee925
時間:
2008-9-30 11:09 PM
標題:
使用自由軟體建構邏輯設計的驗證平台 -- TRUSS
2007年底，我加入一間美商 start-up ，
0 m0 N/ m7 w, J. F! w
他們用 vera 來驗證他們的邏輯設計。
' {4 o: `6 D: h/ ~4 ^
我的任務是 video engine 的 design change,
7 m& c! T3 ]. a' n* F% p+ W% w
由於沒有人和我交接(前一位負責的工程師在我加入前便離開了)，
. B& U1 O3 x6 v) X; _: X$ |
我只能祈禱我所做的修改不要把原來 OK 的功能改壞了，
% Q8 a6 }6 A2 L0 M9 z
這時前人留下的 vera pattern 發揮了驚人的把關能力，
+ S: z+ u+ f/ k$ h
讓我以前錯誤的觀念 (design 重於 verification) 徹底改變。
9 \0 K# n( e7 c
6 Q2 d% X& D1 n- l1 H
雖然不久之後我也離開了，
$ u2 \% \$ E7 `
新東家用的是 cadence ncsim，
9 I4 \5 a! q4 [, m: c. ]
verification 的方法是用 verilog implement monitor, checker, bfm, ... etc.
$ n: h# X, e/ |+ R+ u& C
但畢竟這和以前用過的 vera 不可同日而語，
+ B" \$ B) J0 R# h3 n. ^
於是興起了一個念頭：尋找可用於 cadence ncsim 的驗證環境
5 W! X# S3 a" R8 P' i/ B
5 N# h* ]& v( S/ A7 R2 Z3 ~
我找到了
TRUSS
，[size=100%]它定義了一套完整的邏輯驗證架構，
5 h2 _3 X0 a* r1 q3 f6 w! H; P3 j
透過 PLI/VPI ，它可以使用 C/C++ 建構驗證程序，
5 Q, b7 T/ n( K' \! V) ?
以驗證使用 Verilog 製作的設計；
1 E6 R' b Q. F4 p _6 V
並且它是開放源碼的自由軟體，
7 ]3 l, o/ ?4 e6 L( M5 @$ l
每個人都可以免費取得並使用它。
9 v5 H1 c! H) w3 i; z
0 G; d4 A! e4 }2 ^6 K+ Z- I9 ~( N( f! L
我計劃將我的使用心得記錄在
Blog
上，
& z F. C. T7 G- [& _
歡迎討論指教。
, o; B4 V$ O; L% Z6 `9 ~* @
* z- }4 z8 \8 o& I0 o y
Yi-shin Li
歡迎光臨 Chip123 科技應用創新平台 (http://chip123.com/)
Powered by Discuz! X3.2