|
It’s common knowledge that the verification
G& r+ q. E, t& ]/ c4 Z3 b: N" Estage for a given system is' h& q. `/ o- R* J; }% s+ U* Z
around 70% of the overall design" Y, Y% Q2 R9 l$ }; B5 E
effort and schedule time. Reducing
& L1 S9 }5 d/ R2 @+ Y0 Ooverall time spent in test creation and
3 U# T) @& K: Q& s7 u4 vdesign verification is a high priority.0 E" M. ~2 o5 k) N+ [/ e, Z$ P' r
Success in these two areas increases& `) t4 _; p5 _
productivity and helps deliver products
( {$ w* D d& C( T* kto market faster. To achieve these verification
* r0 M. p. S( Q; u/ k* Cgoals, engineers are constantly3 d/ P- J- b( G+ Z6 O. G/ [) V
looking for new and innovative ways to
. `5 s7 m- | U; y7 T& T: Iconquer the verification challenges that9 N0 [9 {' ^# }9 j
face them.8 B5 d6 [3 L; z8 q4 k2 A& a! e4 I
This article discusses a layered verification, ?" `- y5 z+ f o. h2 G
approach as applied to an AMBAbased8 {: h, X3 L( @0 C+ Q
system component. The layered
) R0 l2 t5 U5 y" Bapproach is used to create a standardized
0 M, G2 |% H- x6 s! ~! Overification environment that can
: A' p/ }% H, \' y$ Ladapt as the design challenges5 y( G- G: ?9 R7 r( ?# \
increase. Typically, reuse is very high
( q' `4 @! V7 }# m6 n6 b2 O. Fwithin an AMBA-based system because( ]* o7 a& d% b
many new designs are based on earlier5 \: d/ B# t* p7 M2 I* G- Z) e
versions of the standard system. The, k( l, Q8 M: C7 u K; Q' f. \1 d
example shows the layered approach" z! i2 I' K. |9 V; Y
being applied to verify an individual
; p$ z5 T9 ?+ Iblock as well as its integration into the2 O5 P F0 q6 J: V
subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|