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
/ f% x S1 H; B( s4 n8 Q
我想請教的是：
1 n2 J0 A+ z3 y& P5 V/ i8 `1 r
High code coverage雖然是dynamic verification的第一步驟
& ]! m0 x. x- n! P: e- j+ X! m
但是通常並不意味著 一定會有 high functional coverage
+ p+ }0 G% M- r6 X
! M$ I" M+ n5 y7 K
請問有人可以舉例嗎?
5 H5 `2 ?3 s% e7 A7 i
什麼例子下
: o" M5 b+ Q0 f5 f; U# {3 F i
會有 high code coverage 但是 functional coverage 卻不高
8 l4 }( G, i: A
[聽說 functional coverage的界定不是很明確...請以自己的想法回答即可
作者:
masonchung
時間:
2008-1-3 12:36 AM
一般而言
- M5 o" b* h" ]8 G9 X0 V
Coverage 有六大類:
$ {+ O6 `% P' m* f! S$ R& K+ s
+ x c3 S8 L, A& a6 B! h7 z
Line Coverage
" s2 s* E2 ?& l" H/ d
Conditional Coverage
/ D; \; i' {+ V( ~! K' e
FSM Coverage
) M: _, ~ D K5 l; z* @8 b: U
Toggle Coverage
. k/ ?9 ~# a9 k* `$ R
Branch Coverage
2 G( e6 P P' [( L% k
Path Coverage
- O$ _& |/ j( a
2 A+ Z4 |; S( J4 }
有誰能說明這幾種 Coverage 的定義呢?
作者:
jarodz
時間:
2008-2-24 11:52 PM
For example,
9 O5 z3 N, ^( v" t, g6 Q) e
7 j/ @3 O W L* X A. [2 c
always @(posedge clk)
' Q; E2 p8 o& x. j% a8 M! K
begin
/ h0 q9 l6 G: u2 p7 Y$ M% n, e
if(A)
' n1 j$ H, y9 b1 A( Y# {
Q <= #1 D0;
% H/ p$ Z9 O0 T! i
else if(B)
% x7 }9 v7 A( } r$ p. ~
Q <= #1 D1;
) M: b6 O, Q. J' I
end
" i3 D3 L( G$ p3 N7 z d: H
1 t' ?! j$ f& E) {
//======================================//
7 ?6 z8 A( C+ y [
6 A+ ^; H* t5 m
always @(posedge)
! B$ k1 d% e) s3 S( a
Q <= #1 (A)? D0 : (B)? D1 : Q;
% _. \6 @' l, h! |
! u) R# U' X$ m
The code coverage of second is higher than that of the first.
$ f4 V3 C, |! p7 x$ x9 z- L) Q
The code coverage is affected by the coding style.
$ i% w5 y( _/ r# m) l8 p
The more readably code may have a low code coverage.
( x, `6 D" F2 p. Q# P7 o3 l
. [, r5 Q3 Y4 \( b2 o
Sincrely,
. [2 ?: q6 o( q p/ y' U# {
Jarod
作者:
kevin
時間:
2008-2-26 11:47 AM
code coverage:看low level design block(state machine,branch,case...)有幾成已被
+ ]' R- J8 m8 \) p# E5 z& J
run過.不代表function皆work,且符合spec.
; Y4 p6 }& m( l) p
Functional Coverage: 看design 的 function spec 有幾成已被check過.
3 a8 X6 e m6 M8 Z$ V" m, G% g
code coverage 與 Functional Coverage是互補的.
7 ~3 _! ]+ u% s5 ~; L) a, m
做Functional Coverage 也要有 functional coverage model.(跟 ic spec.有關)
! `+ r3 w' y: v9 w. I* {, W* L
舉個例,一個state machine,輸出順序跟 ic spec相反,code coverage 100%, Functional Coverage 0%.
歡迎光臨 Chip123 科技應用創新平台 (http://chip123.com/)
Powered by Discuz! X3.2