|
It’s common knowledge that the verification8 `6 B6 g- C* N% T. o2 C. e
stage for a given system is- A2 X2 Z- O/ g
around 70% of the overall design3 \+ G" [/ K! x4 s, C- Z
effort and schedule time. Reducing4 H! x0 r3 n& w5 A3 r
overall time spent in test creation and
4 `5 U. R; c2 m2 Ddesign verification is a high priority.& e4 H# h* D; c8 U+ G) f: f( e7 D
Success in these two areas increases/ V) g. E V8 ~ [+ N# L
productivity and helps deliver products
! d* t. q" e+ \2 v, S2 W; o. T, Pto market faster. To achieve these verification
; ]" f; N: h% L- sgoals, engineers are constantly
) r9 v* A6 v8 e# flooking for new and innovative ways to
: I1 a) l! A0 B6 hconquer the verification challenges that7 i( q5 E+ C5 ?2 T& L: L+ i
face them.
" ~: B Z3 N/ s7 j: HThis article discusses a layered verification
$ G5 g* S0 G" N4 E+ Q# ]0 r, G( uapproach as applied to an AMBAbased2 s: J1 _: ?6 w% A- b
system component. The layered
8 p4 n- T, G9 [approach is used to create a standardized0 I _" G1 V5 e' z8 A5 ` g, @
verification environment that can. ~- Y/ S0 z2 b% ]' o
adapt as the design challenges
6 @% y) ^" U: v* V+ Eincrease. Typically, reuse is very high
$ k2 p0 E. c3 @$ m9 t$ d# J- _within an AMBA-based system because
3 d; E3 F, C9 h8 nmany new designs are based on earlier- m: [9 P+ w' j9 t, [- n4 ~
versions of the standard system. The% s3 e3 Q$ e) k$ B2 A
example shows the layered approach% B- o6 Y ]+ `# ^$ P" u1 L0 k
being applied to verify an individual2 L4 T5 I2 [: x% h
block as well as its integration into the
, E: W* u; c- msubsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|