|
It’s common knowledge that the verification
, W1 x+ W4 {" u+ i8 t! {stage for a given system is# a; f2 `3 A1 ^) T
around 70% of the overall design
: n, w( W0 B9 X* ?+ K* f$ E) Keffort and schedule time. Reducing
5 a x6 ~* b3 @overall time spent in test creation and }. G0 `* Z3 U0 s, d
design verification is a high priority.4 Y& Z5 h0 d% N; h
Success in these two areas increases, B! R' X4 C* E ` q
productivity and helps deliver products
9 L& c( _" \) d% Z% E- h ] Yto market faster. To achieve these verification" s! S9 V1 p6 [! i- }8 L; {
goals, engineers are constantly$ e6 D" |9 V0 |( i" b, J0 |6 a ^7 |
looking for new and innovative ways to
; g% a5 F. N0 k. u3 A+ |conquer the verification challenges that
+ L1 c1 z/ g* h! O( ]face them.' U8 S* i+ v, K/ ?* X" p+ P$ Y, {" Y
This article discusses a layered verification. y, i% q* ]7 e. V' R& k
approach as applied to an AMBAbased6 b0 O5 B4 @2 e
system component. The layered
6 c* g" P4 g- u$ V$ a4 lapproach is used to create a standardized7 ^* i# M9 B( B# F
verification environment that can
8 X( S, P& N5 }8 X' \adapt as the design challenges
9 a: a6 U8 }0 j9 F- O Q, E9 r* e# Bincrease. Typically, reuse is very high
# \) |. H* [# T# _8 M& n; Iwithin an AMBA-based system because9 k3 D( f# Q) T5 x c1 s( ?5 f
many new designs are based on earlier
5 A* V; G; d2 d0 n: e( g4 K) aversions of the standard system. The
2 R: w! c8 r1 c8 Wexample shows the layered approach
. {) F% a" m1 z0 `- V7 ybeing applied to verify an individual
8 \/ I$ m1 ~! Y4 T8 ?block as well as its integration into the
, F& g& m$ i1 Y6 a+ ?# U( s2 P7 xsubsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|