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