1. coverpoint 簡單來說就是一個能夠代表設(shè)計規(guī)格的變量或者變量表達(dá)式

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

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

功能覆蓋率就是通過bin的覆蓋情況統(tǒng)計出來的。

Coverpoint的語法如上圖所示：

covergroup g1 在(posedge clk) 采樣。

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

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

審核編輯：劉清