coverpoint是什么意思
1. coverpoint 簡單來說就是一個能夠代表設計規格的變量或者變量表達式
2. 每個coverpoint 可以是一個值或者值的切換。
3. “bins”可以由用戶定義或由 EDA 工具自動創建。
功能覆蓋率就是通過bin的覆蓋情況統計出來的。
Coverpoint的語法如上圖所示：
covergroup g1 在(posedge clk) 采樣。
“oc”是Coverpoint的名稱。‘oc’覆蓋了2比特變量‘offset’。由于沒有指定收集哪些bin，EDA仿真工具會默認為我們創建4個bin(auto[0]、auto[1]、auto[2]、auto[3]),分別表示覆蓋2’b00、2‘b01、2’b10、2‘b11
因為上圖中所有的場景被被覆蓋了，所以覆蓋率是100%
審核編輯：劉清
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規問題，請聯系本站處理。
舉報投訴
-
EDA工具
+關注
關注
4文章
268瀏覽量
31936 -
BIN文件
+關注
關注
0文章
26瀏覽量
8389
原文標題：什么是coverpoint ？
文章出處：【微信號：芯片驗證工程師，微信公眾號：芯片驗證工程師】歡迎添加關注！文章轉載請注明出處。
發布評論請先 登錄
相關推薦
牛人對IC驗證的獨特理解
和 random-test-point以及cover-point和assertion。需要和各個team仔細逐條review testplan，有些針對具體實現的coverpoint可能只有designer
發表于 01-11 10:20
什么是FPV？怎樣去搭建FPV驗證環境呢？
忽略了相應的coverpoint。在所有的assertion都被證明的情況下，該FPV工程師向驗證經理報告這個模塊已經全部驗證完成了。結果在項目的后期才發現，由于使用了錯誤的約束assume，實際只驗證
發表于 06-27 16:40
搭建FPV驗證環境之創建assert與執行FPV簡析
如何說服驗證經理和你自己，所有的corner case都得到了證明和保證？事實上，很有可能你不小心對RTL過度約束了，從而有可能錯誤了corner case的bug發現。coverpoint能夠證明當前
發表于 06-27 17:15
重點厘清覆蓋率相關的概念以及在芯片開發流程中跟覆蓋率相關的事項
覆蓋率模型的實現，需要用到覆蓋組covergroup和覆蓋點coverpoint這些語法特性。覆蓋組可以定義在package包、module模塊、program程序、interface接口或者
發表于 09-14 11:57
分享一個covergroup/coverpoint的示例
’可以在“package’”、“module’”、“program’”、“interface’ ”和“class’”中定義。上圖是covergroup關鍵語法的示意：沒有coverpoint
發表于 09-29 15:09
介紹一些SVA基本的概念和常用的語法
overconstraint ，這樣有些東西就可能被漏掉。所以coverpoint在FV里面至關重要。一般來說，FV上來就先寫coverpoint，先規劃好哪些點需要覆蓋。其次還是assertion
發表于 10-27 16:37
Systemverilog覆蓋率的合并和計算方式
covergroup， coverpoint， and cross）。其它兩個是instanceoption，也就是說在例化covergroup的時候可以更改它們的值，從而造成各種類型的instances，可以理解為
發表于 03-21 14:24
systemverilog bins是如何去定義的
功能覆蓋率覆蓋的就是一個個的coverpoint bins（不同的變量），對于一個8bit addr，那么默認的bins就是8‘h00~8’hFF，當然也可以顯式地指定不同值之間的切換為一個bins。
工商網監
評論