Chip123 科技應用創新平台
標題:
High code coverage does not imply higj functional coverage?
[打印本頁]
作者:
stanlly9
時間:
2008-1-2 11:36 PM
標題:
High code coverage does not imply higj functional coverage?
這個論壇似乎沒有 Verification 的Topics
$ f7 T% d( P7 f
我想請教的是：
t$ a. R( ?/ a8 x3 G- }8 q
High code coverage雖然是dynamic verification的第一步驟
9 B3 m( p4 v9 n; a
但是通常並不意味著 一定會有 high functional coverage
$ V/ t8 P* L* k
+ W* `: X7 k4 p: K6 P0 S
請問有人可以舉例嗎?
3 S4 T) E* v# w9 x
什麼例子下
9 G A3 E o; n8 h0 ?* ]# R
會有 high code coverage 但是 functional coverage 卻不高
" B2 d7 X3 [/ f4 k
[聽說 functional coverage的界定不是很明確...請以自己的想法回答即可
作者:
masonchung
時間:
2008-1-3 12:36 AM
一般而言
1 Q6 F+ A& A. o, f7 `
Coverage 有六大類:
& g/ b% J. O+ t, N3 ?+ ?, Y
. | x; k# t$ x3 ~, S! n5 S
Line Coverage
. U% g% m+ N0 t, {) G
Conditional Coverage
/ _0 E5 @: U' N0 m; c$ u
FSM Coverage
5 I1 t+ ?7 Y. S2 p) }% @* ^7 U
Toggle Coverage
8 D, T1 `: M- ?# E; c9 v! G
Branch Coverage
D0 l" b# ^0 N9 c! s
Path Coverage
2 ~" s `% u( T
- W) J8 c- j% l, T
有誰能說明這幾種 Coverage 的定義呢?
作者:
jarodz
時間:
2008-2-24 11:52 PM
For example,
' q2 o% p1 ~2 z& q
- {8 N7 M$ Y) `) v
always @(posedge clk)
9 N* |0 O! n% ]$ X- ?
begin
1 X( ^" R# \4 B7 X: y1 G
if(A)
* x& g' Q, R9 h5 z' ?
Q <= #1 D0;
, j1 e, |7 {+ X
else if(B)
2 }0 P0 B! n6 a
Q <= #1 D1;
! ^3 i7 g4 y. O1 [; V$ m/ o" I
end
; S! R, t1 p+ }( I d; ~2 c4 V
! d5 T b5 O. j" q
//======================================//
* g5 C" @& R/ ]
9 e. Q6 d# ]) k- a- k2 E& `
always @(posedge)
5 ~" R0 X0 g( W
Q <= #1 (A)? D0 : (B)? D1 : Q;
; S$ A0 p7 x3 r3 x9 R
- F9 m7 I2 F3 P, f- [, }0 d
The code coverage of second is higher than that of the first.
1 M2 G: V4 h J6 U) K6 q
The code coverage is affected by the coding style.
3 ?1 d/ g9 l( ?$ l3 H# w/ R- y/ M6 W
The more readably code may have a low code coverage.
|" P% `/ ?. Q6 q$ h9 l
& _; a$ ]6 ^- J$ w l2 v2 F. b1 W8 P
Sincrely,
, [9 l o( w/ q& R% v8 n
Jarod
作者:
kevin
時間:
2008-2-26 11:47 AM
code coverage:看low level design block(state machine,branch,case...)有幾成已被
* b5 |7 x% c/ j5 s( `3 T3 W
run過.不代表function皆work,且符合spec.
, z! c( |5 j7 r
Functional Coverage: 看design 的 function spec 有幾成已被check過.
6 P: A# w, {) k3 L
code coverage 與 Functional Coverage是互補的.
% @8 e) z7 |0 v) E/ `
做Functional Coverage 也要有 functional coverage model.(跟 ic spec.有關)
6 ]( Y; V+ T& }3 I+ g, y
舉個例,一個state machine,輸出順序跟 ic spec相反,code coverage 100%, Functional Coverage 0%.
歡迎光臨 Chip123 科技應用創新平台 (http://free.vireal.world/chip123_website/innoingbbs/)
Powered by Discuz! X3.2