|
It’s common knowledge that the verification6 p& p5 w- K9 ]$ Y; T/ C9 P$ C' O
stage for a given system is' N4 B# E6 w- I0 j
around 70% of the overall design
3 ]5 |" ~! s2 R7 v/ Seffort and schedule time. Reducing& o1 s) Z5 P* K% i
overall time spent in test creation and
" ]* G& k( _3 q- G8 adesign verification is a high priority.
0 X! E, M8 x2 d' Q3 `Success in these two areas increases" Q- [+ t7 k' |
productivity and helps deliver products
) ?% C& y% u/ d$ nto market faster. To achieve these verification
. X! X! k2 Q7 ^/ G& N( mgoals, engineers are constantly5 L; a" l6 N3 v$ b$ O
looking for new and innovative ways to
7 k0 R+ ^0 n, {0 x+ fconquer the verification challenges that
' Q) W. [7 D2 Oface them.$ |! h4 I0 |9 Z% F* S6 w4 N6 [5 J
This article discusses a layered verification
$ _0 @( w% r+ O0 _approach as applied to an AMBAbased
3 o8 g0 `9 p; vsystem component. The layered
2 N2 ^/ f2 l: l4 M6 \( sapproach is used to create a standardized% j1 ]1 u! r7 [. \. ]' ^9 c
verification environment that can
7 p+ o. j! Z; @6 F. [7 G7 Uadapt as the design challenges
/ X9 \% l- q7 r* F( fincrease. Typically, reuse is very high- r( E( C# Q. F0 z# u
within an AMBA-based system because
* N) S" N- Q2 x3 i" tmany new designs are based on earlier" J( |! b' l" {- n- g4 U: S- K4 O
versions of the standard system. The% u3 M% z8 z! [# Z0 q9 U) |
example shows the layered approach1 ^% q* S* u# B( n: u7 b3 A
being applied to verify an individual
3 X1 E4 v6 Z- cblock as well as its integration into the
+ U2 a j* g( K f9 y E; L9 D+ fsubsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|