High code coverage does not imply higj functional coverage?

masonchung

一般而言
Coverage 有六大類:
" {7 ~- k0 d$ n+ q
Line Coverage
Conditional Coverage
# M4 v" w, h: S% Y! A$ {- n0 z8 yFSM Coverage
5 a) F$ s' {1 w# kToggle Coverage
Branch Coverage
$ \3 o- P( S6 Q* o6 j  HPath Coverage

有誰能說明這幾種 Coverage 的定義呢?