High code coverage does not imply higj functional coverage?

kevin

code coverage:看low level design block(state machine,branch,case...)有幾成已被
run過.不代表function皆work,且符合spec.
% H7 g$ z0 M' h% l: f5 S. iFunctional Coverage: 看design 的 function spec 有幾成已被check過.
0 X: [( n8 E. |2 `" @* ^! Scode coverage 與 Functional Coverage是互補的.
2 n! M, F/ o% T( b做Functional Coverage 也要有 functional coverage model.(跟 ic spec.有關)
舉個例,一個state machine,輸出順序跟 ic spec相反,code coverage 100%, Functional Coverage 0%.