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