Chip123 科技應用創新平台

 找回密碼
 申請會員

QQ登錄

只需一步,快速開始

Login

用FB帳號登入

搜索
1 2 3 4
查看: 7360|回復: 5
打印 上一主題 下一主題

[問題求助] High code coverage does not imply higj functional coverage?

[複製鏈接]
跳轉到指定樓層
1#
發表於 2008-1-2 23:36:59 | 只看該作者 回帖獎勵 |倒序瀏覽 |閱讀模式
這個論壇似乎沒有 Verification 的Topics& `. E. r6 f1 z. J
我想請教的是:
! ~; Q& |! b4 T) `" FHigh code coverage雖然是dynamic verification的第一步驟9 L2 I7 ^$ h$ R
但是通常並不意味著 一定會有 high functional coverage
/ D: c7 j  f& a2 x; e1 p
& h% C# t6 z" h1 T5 e0 @% G請問有人可以舉例嗎?
+ H, q  S2 q5 M2 y- B什麼例子下
4 }' ]# T1 V* [$ B( }; t% `3 H會有 high code coverage 但是 functional coverage 卻不高
6 `$ }$ H5 E, w( v) E# X- ~[聽說 functional coverage的界定不是很明確...請以自己的想法回答即可
分享到:  QQ好友和群QQ好友和群 QQ空間QQ空間 騰訊微博騰訊微博 騰訊朋友騰訊朋友
收藏收藏 分享分享 頂 踩 分享分享
2#
發表於 2008-1-3 00:36:49 | 只看該作者
一般而言
$ `3 D) @2 b$ yCoverage 有六大類:. D: }3 I, N! E. N3 \
2 c9 y7 V( J% ]5 P- t( W/ S
Line Coverage
! R, ~9 G6 ?& [- T" A8 E, F" qConditional Coverage
5 [# R7 v6 t3 x  ]# J1 FFSM Coverage3 r, A7 r* f: K. s! r8 E& _
Toggle Coverage# q1 E2 x# p8 i# F& ^( L5 d
Branch Coverage
  _  ^- l! i! W2 p7 f! s2 ?Path Coverage' p' D) o$ V8 L4 B/ ?( M; \

' B/ b; y) j, `/ O; [有誰能說明這幾種 Coverage 的定義呢?
3#
發表於 2008-2-24 23:52:31 | 只看該作者
For example,
, m! E3 s4 D" c/ F& n# \% O
2 K: k& Q- {* V$ j% Ralways @(posedge clk)( ?. G  K& |1 n( J9 |0 @9 M
begin/ B6 X0 g& v( z" K8 t. ~' i
      if(A)( m' p5 D6 c3 s4 l5 B- z+ M; N( L& Z
Q <= #1 D0;) q7 N( m5 K9 T! P  P  U
      else if(B); L, D# d6 c1 c3 f/ H
Q <= #1 D1;8 _2 {5 Q+ o2 x+ \! d) E
end
( D) i/ |* H+ j5 y& @% o, `0 y/ c
//======================================/// v. O, e$ X: k. }2 G6 K+ N

2 A: ?3 m  u8 _% Malways @(posedge)$ a$ `. v  ]% t* P2 T
Q <= #1 (A)? D0 : (B)? D1 : Q;- U" m  s+ x" z2 I6 O+ h

+ U6 z5 s* A; S, N( u) AThe code coverage of second is higher than that of the first.
' O8 L5 t- Q" X  IThe code coverage is affected by the coding style.
. x+ Y4 u( h8 C4 O9 ]The more readably code may have a low code coverage.1 L' V: {6 c8 N) j7 o4 K7 i) k* m
! @& L+ B8 s9 h8 E1 |8 O
Sincrely,
3 z) O0 Y, p, zJarod

評分

參與人數 1Chipcoin +3 收起 理由
masonchung + 3 言之有物!

查看全部評分

4#
發表於 2008-2-26 11:47:40 | 只看該作者
code coverage:看low level design block(state machine,branch,case...)有幾成已被8 D0 V7 k) r9 \
run過.不代表function皆work,且符合spec.* t+ N- G3 }1 b
Functional Coverage: 看design 的 function spec 有幾成已被check過.7 z$ A4 v+ E3 Y' h$ m7 T3 Y4 ^
code coverage 與 Functional Coverage是互補的.
. Y6 y% |; W9 m做Functional Coverage 也要有 functional coverage model.(跟 ic spec.有關)
) b' I" S. x, Q" I舉個例,一個state machine,輸出順序跟 ic spec相反,code coverage 100%, Functional Coverage 0%.

評分

參與人數 1Chipcoin +3 收起 理由
masonchung + 3 精彩答案!

查看全部評分

您需要登錄後才可以回帖 登錄 | 申請會員

本版積分規則

首頁|手機版|Chip123 科技應用創新平台 |新契機國際商機整合股份有限公司

GMT+8, 2025-2-22 09:28 PM , Processed in 0.177010 second(s), 22 queries .

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回復 返回頂部 返回列表