|
It’s common knowledge that the verification
; p/ U, h3 v$ Astage for a given system is8 N2 N- W$ @4 F) b5 W' ?
around 70% of the overall design a3 q* H1 c& O
effort and schedule time. Reducing9 \: C" J& U2 E1 `6 A
overall time spent in test creation and0 P9 B: S7 ] b; a
design verification is a high priority.
* E' i1 \! _3 e# YSuccess in these two areas increases- [- k) p' t2 p8 j
productivity and helps deliver products
8 r/ q/ u/ I4 p1 l% e, @$ G# ato market faster. To achieve these verification! n) N! m. M. u# t: n
goals, engineers are constantly
* K* R* T; ]$ p: b" `looking for new and innovative ways to
0 F- d( I+ N8 q0 m( V. G3 n4 ]conquer the verification challenges that
1 R6 Y8 q# Z6 ^/ S/ Zface them.
) _/ ?8 Q4 f, A4 w0 eThis article discusses a layered verification
& {9 n, k( O0 e# N9 F% Tapproach as applied to an AMBAbased
2 J) w! q* k1 D _, Qsystem component. The layered: O3 r$ j1 K# `) `2 \
approach is used to create a standardized
! K7 D" t- }+ z5 }" Y- n) Yverification environment that can8 {8 `3 M7 w4 l( l4 j1 {: t
adapt as the design challenges% R& I/ g+ t$ o3 Q2 p
increase. Typically, reuse is very high' q" K- q+ ]. n8 K5 X4 ^& L
within an AMBA-based system because
$ n$ u- [: o* h$ kmany new designs are based on earlier
1 O' y. K( k. l, `- n2 I6 Oversions of the standard system. The6 I5 i- p* _& P/ {7 y# o! @
example shows the layered approach) r9 f( |0 X' d1 D7 J
being applied to verify an individual" ^& o$ O( N) n, a' L
block as well as its integration into the
& C) f6 z l, A% x9 [4 X1 V$ @ r0 Tsubsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|