|
It’s common knowledge that the verification4 R2 d2 v. Q8 l% b( ?% V
stage for a given system is
5 c+ |- b( V4 z5 D4 karound 70% of the overall design# V6 R7 f& J6 S, w
effort and schedule time. Reducing' G: ]/ {0 z0 M2 S8 }% l
overall time spent in test creation and
- d* Y1 ^9 i3 Gdesign verification is a high priority.: s0 @+ g/ |: M
Success in these two areas increases
9 S2 f8 \* ^1 y' Q5 t: Tproductivity and helps deliver products
7 x" l2 {4 t) |' s& y8 g. Gto market faster. To achieve these verification1 J9 Y9 ~: v! M0 X0 u5 [ s; M/ h
goals, engineers are constantly2 L/ v8 q' v. d
looking for new and innovative ways to
( M( t, f2 A6 A$ c/ n- Z& b/ M8 e; U. oconquer the verification challenges that
( v1 \; e6 r- W- \3 g& rface them.
0 u$ m" @# `' F0 [# `7 ^% K. [- l0 NThis article discusses a layered verification
/ N& B7 g/ {4 l' R" y' Lapproach as applied to an AMBAbased5 U6 ~( ^, o/ S0 q" E' q. T6 \8 K& [
system component. The layered
' V4 s; i$ h$ d H3 _8 L3 Iapproach is used to create a standardized: O5 Y8 B% x# l
verification environment that can+ H" K* |; I. Q1 a0 Y/ e
adapt as the design challenges: V$ U6 t/ s7 a8 K
increase. Typically, reuse is very high9 s+ b' @7 Q" `% h
within an AMBA-based system because
8 e2 j/ l, \7 B3 n9 Q* U7 Kmany new designs are based on earlier l5 O9 p8 o, S
versions of the standard system. The3 J& c2 x4 I+ L* [+ T: X
example shows the layered approach) P2 M* F" T9 X
being applied to verify an individual
' t5 z$ w: S' d# K& U8 rblock as well as its integration into the
: {: l6 ?2 _3 J4 p- {subsystem and final system representation. |
本帖子中包含更多資源
您需要 登錄 才可以下載或查看,沒有帳號?申請會員
x
|