|
It’s common knowledge that the verification' N. Q1 t2 f7 A* Y: T: i, |- p
stage for a given system is" J: F4 Q! o+ h" s+ e
around 70% of the overall design0 E. W' o& U8 X$ B% p
effort and schedule time. Reducing
3 {2 U* C) `- J5 e, doverall time spent in test creation and2 j, Q+ F3 x) E, T6 K
design verification is a high priority.% j0 v9 [5 k8 @; _# h% v9 y
Success in these two areas increases8 a; Y: a( N2 L" q0 ~: s
productivity and helps deliver products
2 W& s! p" \' C! r0 l* bto market faster. To achieve these verification
; x: e# A( ^# F" B4 _$ U( @ Bgoals, engineers are constantly
$ |9 j1 q0 o0 ^) [. I) o1 c$ p. ylooking for new and innovative ways to
6 W: K& n1 n" n$ W3 i4 R3 G' lconquer the verification challenges that7 g& e8 Q/ X3 H4 @
face them.% L! i/ q; _) K6 i4 a
This article discusses a layered verification
% [4 |/ E7 K" t7 Y% A I, }approach as applied to an AMBAbased
$ t, W- A; J, H+ P+ m( bsystem component. The layered( _, h& Y$ X. h. O6 t4 j2 \7 M
approach is used to create a standardized
1 u1 j; b1 x' w) o5 dverification environment that can9 ?: w& }4 Z, u( c( H7 D# V/ p
adapt as the design challenges3 \. K" a9 t" P
increase. Typically, reuse is very high
" g: R- |% m& }* u* F" kwithin an AMBA-based system because: m7 o3 w! B0 W. e9 d
many new designs are based on earlier3 I( m4 b$ q# p, v0 a- z O
versions of the standard system. The
+ {' [1 B+ [' B {& V pexample shows the layered approach
2 J; {# X& J. Kbeing applied to verify an individual
4 r; P0 F& Z& f% Yblock as well as its integration into the4 [+ f2 S9 K1 P7 U" H* O2 |, I' ~
subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|