High code coverage does not imply higj functional coverage?

kevin

code coverage:看low level design block(state machine,branch,case...)有幾成已被
run過.不代表function皆work,且符合spec.
. q# |' F3 H2 R$ }% hFunctional Coverage: 看design 的 function spec 有幾成已被check過.
5 z% [" v" P" K$ |+ o# v$ m" wcode coverage 與 Functional Coverage是互補的.
做Functional Coverage 也要有 functional coverage model.(跟 ic spec.有關)
舉個例,一個state machine,輸出順序跟 ic spec相反,code coverage 100%, Functional Coverage 0%.