1. coverpoint 簡(jiǎn)單來(lái)說(shuō)就是一個(gè)能夠代表設(shè)計(jì)規(guī)格的變量或者變量表達(dá)式

2. 每個(gè)coverpoint 可以是一個(gè)值或者值的切換。

3. “bins”可以由用戶定義或由 EDA 工具自動(dòng)創(chuàng)建。

功能覆蓋率就是通過(guò)bin的覆蓋情況統(tǒng)計(jì)出來(lái)的。

Coverpoint的語(yǔ)法如上圖所示：

covergroup g1 在(posedge clk) 采樣。

“oc”是Coverpoint的名稱。‘oc’覆蓋了2比特變量‘offset’。由于沒有指定收集哪些bin，EDA仿真工具會(huì)默認(rèn)為我們創(chuàng)建4個(gè)bin(auto[0]、auto[1]、auto[2]、auto[3]),分別表示覆蓋2’b00、2‘b01、2’b10、2‘b11

因?yàn)樯蠄D中所有的場(chǎng)景被被覆蓋了，所以覆蓋率是100%

審核編輯：劉清