Chip123 科技應用創新平台
標題:
使用自由軟體建構邏輯設計的驗證平台 -- TRUSS
[打印本頁]
作者:
yslee925
時間:
2008-9-30 11:09 PM
標題:
使用自由軟體建構邏輯設計的驗證平台 -- TRUSS
2007年底，我加入一間美商 start-up ，
$ J, U9 O) \% q; i/ T! d% Z
他們用 vera 來驗證他們的邏輯設計。
: Q+ o+ N" O, C) [3 Z1 L. u: S' a
我的任務是 video engine 的 design change,
$ l6 V1 R3 o( @2 V" w5 s' p
由於沒有人和我交接(前一位負責的工程師在我加入前便離開了)，
. b) S, Y6 h" Y, P `1 A
我只能祈禱我所做的修改不要把原來 OK 的功能改壞了，
3 w$ [. {) @6 F! b# a
這時前人留下的 vera pattern 發揮了驚人的把關能力，
- H; Q# s) ~5 ]
讓我以前錯誤的觀念 (design 重於 verification) 徹底改變。
0 n- X; K: l5 Z' t
" e6 ^7 V5 l6 [3 t" J5 p* Q' T
雖然不久之後我也離開了，
3 m. l/ `3 I! M4 o1 t2 p
新東家用的是 cadence ncsim，
# ]8 }8 Y7 t0 \ ~* i8 w. P/ v
verification 的方法是用 verilog implement monitor, checker, bfm, ... etc.
* ~/ @; R8 f) B) N
但畢竟這和以前用過的 vera 不可同日而語，
3 Y4 U1 F2 E. ?% H7 F! U" c& @
於是興起了一個念頭：尋找可用於 cadence ncsim 的驗證環境
+ a+ ^6 V1 _6 N4 L& l4 m7 k3 G5 z' m
7 g" x" m. ?% \7 B: `
我找到了
TRUSS
，[size=100%]它定義了一套完整的邏輯驗證架構，
" P+ u7 v, B# Y5 V
透過 PLI/VPI ，它可以使用 C/C++ 建構驗證程序，
" D8 ^* K# j0 I( l- J" J' W
以驗證使用 Verilog 製作的設計；
9 p, b2 r: Q3 e1 Y% A, c0 x" |# t
並且它是開放源碼的自由軟體，
) F5 ]' Y3 }1 h1 D
每個人都可以免費取得並使用它。
0 \ E( {6 `& i! P6 U1 S
' r q' k- Z3 B8 c5 N' b
我計劃將我的使用心得記錄在
Blog
上，
( S8 y a7 L2 S/ Y9 ~
歡迎討論指教。
: m: l6 @* r" V; F' h
6 v F% u6 q6 V0 Z
Yi-shin Li
歡迎光臨 Chip123 科技應用創新平台 (http://free.vireal.world/chip123_website/innoingbbs/)
Powered by Discuz! X3.2