|
It’s common knowledge that the verification! R+ e* a, t4 F) F. w
stage for a given system is
/ a7 Y7 K- |* F5 L( f5 Y% X5 Earound 70% of the overall design
/ [5 s: X. b$ q# D8 qeffort and schedule time. Reducing l% Z% m* A7 h* d% y
overall time spent in test creation and8 p/ X7 K9 G* a8 i9 k p* K" V0 X
design verification is a high priority.
5 H$ _8 U/ y8 Q. A8 N5 Y9 {2 mSuccess in these two areas increases$ v* M* {) r& c4 v) e4 Q
productivity and helps deliver products
: i% P6 `3 ]. V4 oto market faster. To achieve these verification
8 } w9 q, J. m' \1 M mgoals, engineers are constantly
! A0 P, @( y1 Olooking for new and innovative ways to
. |# B7 V% U* F" pconquer the verification challenges that
+ q( I) o! C9 Q3 gface them.
, v- a# ~- P- wThis article discusses a layered verification
3 u$ d+ N5 \2 n9 x6 f; s' |) e2 fapproach as applied to an AMBAbased g6 i- s: @! E e/ W: e6 [: S
system component. The layered& o; y& B! }) p, P( L
approach is used to create a standardized
5 m% f+ Y0 s( X6 N% k9 `9 T# p+ overification environment that can- c3 u! ^7 S: D' X/ o3 C
adapt as the design challenges
9 V0 P$ k3 P# C; a6 p* s% o lincrease. Typically, reuse is very high* L0 o- W1 r, G8 Z; y
within an AMBA-based system because
% ~2 J$ C; V, E/ Imany new designs are based on earlier2 l l# z A7 G1 {# J) L' E6 g
versions of the standard system. The+ x3 [( [1 z! _6 q
example shows the layered approach
$ B1 u1 h$ h. U6 l0 s5 h4 {being applied to verify an individual- p% B5 q, g8 c! U$ h
block as well as its integration into the4 F1 I- K9 }( b9 C$ a6 F
subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|