|
It’s common knowledge that the verification- R# R) K4 Y6 h c/ A h' J
stage for a given system is
. n& o, f" t- x- {9 C) N/ `around 70% of the overall design: D8 Z" V' Z s8 F
effort and schedule time. Reducing
3 G/ o: {7 a) _, a9 p3 Voverall time spent in test creation and
; h( J8 ]& J5 \# v& Tdesign verification is a high priority.- s: e4 p3 Z" m4 j. w! `5 }+ a
Success in these two areas increases
) a& h" Q5 M8 Y6 y+ Z$ jproductivity and helps deliver products
0 W) P ?- z/ H$ w3 U. Hto market faster. To achieve these verification
8 H/ X; Z9 W A$ u) Dgoals, engineers are constantly
* S0 T% _$ @, x% q" Nlooking for new and innovative ways to
# F+ j# `+ V6 L/ \0 |& @0 Sconquer the verification challenges that
" g6 X, \' _1 j. }" m E( eface them.
, g% V" B5 B3 I2 H) G) NThis article discusses a layered verification
5 y H# Z0 t4 T$ gapproach as applied to an AMBAbased9 k: a B$ d# T2 B, @1 }* F
system component. The layered
0 e+ X5 B; q& h/ i/ qapproach is used to create a standardized' }* `. [# G1 z7 e) w8 j9 R1 C, e
verification environment that can
6 y' k7 T( U3 Z6 F. jadapt as the design challenges
8 ` i# d! q. v. bincrease. Typically, reuse is very high2 E/ k( n8 k6 a; O- C
within an AMBA-based system because
7 P$ y+ q/ w$ u* y3 Kmany new designs are based on earlier
( ?/ M3 Q& C0 V. V: }! ?) Oversions of the standard system. The, x+ g: G# x9 p5 {
example shows the layered approach3 j3 C4 \% ^5 N9 m) F4 c: J
being applied to verify an individual7 O9 B/ d, }8 r6 f. T- \$ F+ j2 }
block as well as its integration into the0 e# j& `4 K, H' N9 o" e
subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|