|
It’s common knowledge that the verification# `1 J/ W0 d& O2 w/ s* B5 [
stage for a given system is
, O0 N$ ]4 ^* O2 R1 Saround 70% of the overall design
7 }$ }7 T! B4 i! J7 a+ h C/ {effort and schedule time. Reducing- g; x8 v% o; e: n+ `1 C1 ~
overall time spent in test creation and- Z% R j! O; v( i% n
design verification is a high priority.9 h9 t2 n, W, e0 {
Success in these two areas increases
0 q" ?# E& V2 [productivity and helps deliver products
# |% h+ z) n5 G) Q& o% nto market faster. To achieve these verification4 V) M9 A# ?+ g5 [4 q+ g# ^7 v
goals, engineers are constantly
2 v+ X5 b8 e) @0 D- [" ^6 xlooking for new and innovative ways to8 I2 Y* a$ O- I D8 o0 S6 R! Z) i) ?
conquer the verification challenges that0 D, a( Y/ x# a) o& V; H! T( ]
face them.
- ]8 H$ p& B0 W& \This article discusses a layered verification
9 ]* _9 u' a) Papproach as applied to an AMBAbased
4 p. B8 ~3 T! i5 i2 C, _system component. The layered
& B. l1 q4 [7 E: N$ [9 N* gapproach is used to create a standardized
2 ~1 D- b7 [2 t/ Q8 cverification environment that can
" Z% g+ _; K2 I |adapt as the design challenges
( j, Z% i+ J$ O$ R- _increase. Typically, reuse is very high
# g! D; r( Y- o, J! W8 Q0 y8 Ewithin an AMBA-based system because4 {+ \% U1 `. r8 U
many new designs are based on earlier- o, m1 C" A) w V5 i/ e" ?2 v$ J
versions of the standard system. The
5 I: r; x- _ Q( P( aexample shows the layered approach/ b& R8 u" ]" f9 `* }9 N
being applied to verify an individual1 `- k8 A7 T+ a# \' ^
block as well as its integration into the
0 g' c) |* x0 _subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|