High code coverage does not imply higj functional coverage?

kevin

code coverage:看low level design block(state machine,branch,case...)有幾成已被
5 E) O$ x1 k, o! s  Q/ Lrun過.不代表function皆work,且符合spec.
( d2 [0 O. ?# M1 pFunctional Coverage: 看design 的 function spec 有幾成已被check過.
+ J3 I4 d% `! J6 |5 G3 R9 _, ucode coverage 與 Functional Coverage是互補的.
做Functional Coverage 也要有 functional coverage model.(跟 ic spec.有關)
: Y% d' N: F; B6 w; [4 s舉個例,一個state machine,輸出順序跟 ic spec相反,code coverage 100%, Functional Coverage 0%.