|
It’s common knowledge that the verification" g7 C# q- [7 J4 y9 g* B" @* ]: E
stage for a given system is/ ?2 i6 t& X2 K% T, p. y! R n; o
around 70% of the overall design& w9 w% j. d* ~4 D" D
effort and schedule time. Reducing
' G9 w3 t4 G, P, e- G" R$ [overall time spent in test creation and
0 f+ q9 p# |. y" ?design verification is a high priority.( s; o0 k. S# n4 z, N i/ V s7 Z
Success in these two areas increases
3 g$ Y8 X1 q8 W3 J: S% h& B5 }# [) [9 Iproductivity and helps deliver products; I! ~! A, e4 k" N# V) R# W% I4 m
to market faster. To achieve these verification2 u+ B$ `7 R) A! {& t
goals, engineers are constantly
/ t2 d' i# g0 S) l3 `looking for new and innovative ways to# K. I0 M5 _" ^$ Z/ ~
conquer the verification challenges that& \8 W* V4 |( U% A7 }
face them.
! L9 M" G% l* JThis article discusses a layered verification# P& z9 J* R9 y, i# u" X: R
approach as applied to an AMBAbased! I8 Z# ^2 [, b" A; K, i
system component. The layered
+ L! `3 k- Q7 \# O& Zapproach is used to create a standardized* a4 O8 K+ z& S) j
verification environment that can7 o/ T5 p% _- \: t6 k
adapt as the design challenges4 Y' O" |- a4 C, D1 `3 P' v
increase. Typically, reuse is very high; {2 Y* n, r3 o9 ?
within an AMBA-based system because T, R) I" @0 s
many new designs are based on earlier$ ~2 Q$ r `% n" F) ?- h% R, N
versions of the standard system. The+ K6 t% w) U# i! x2 U
example shows the layered approach
* |! a+ h; G4 a0 Abeing applied to verify an individual* G- e$ U+ z: b' D$ i- }3 z0 r0 t
block as well as its integration into the8 M7 Q7 E2 p! X7 J6 D( S: k6 Y
subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|