1. SVA支持多時鐘域(clock domain crossing (CDC))邏輯,例如異步FIFO。
2. SVA是一種描述語言,可讀性比較強。
3. 可以方便描述可執(zhí)行的設(shè)計規(guī)格,而不是一些模棱兩可的自然語言。
4. 可用來檢查設(shè)計不允許的異常場景,或者設(shè)計必須滿足的規(guī)格等等
5. 支持開發(fā)參數(shù)化的check ,在不同模塊或者不同項目之間復(fù)用,甚至在Formal工具和EDA仿真工具之間復(fù)用。
6. 可以通過“bind”方式加載到RTL上,不需要修改RTL。
7. 相比黑盒用例,SVA更容易定位。
8. “assert”可用于Formal屬性證明。
9. “assume”可用于Formal輸入場景約束
10. “cover”可用于Formal覆蓋率
最后,驗證環(huán)境中每一個約束都應(yīng)該是一個assert,需要在集成驗證環(huán)境或者周邊模塊驗證環(huán)境中檢查。
審核編輯:劉清
聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。
舉報投訴
原文標題:使用SVA的幾個好處/特性/優(yōu)勢
文章出處:【微信號:芯片驗證工程師,微信公眾號:芯片驗證工程師】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
相關(guān)推薦
SVA斷言是一個強時序的技術(shù),很多時候SVA的實際時序和驗證工程師的期望可能不同,這種不同很難調(diào)試定位。下面是一個SVA斷言的示例,驗證工程師期望斷言當(dāng)檢測到req的上升沿后,再持續(xù)高電平6個周期
發(fā)表于 08-25 15:57
logic [3:0] gnt,output logic op_error );三、基本概念在介紹SVA之前,我們先來澄清幾個容易混淆的概念,尤其是assertion和assumption,傻傻分不清
發(fā)表于 10-27 16:37
SVA上廣電D2155F彩色電視機電路圖,SVA上廣電D2155F彩電圖紙,SVA上廣電D2155F原理圖。
發(fā)表于 05-13 17:03
?387次下載
SVA上廣電D2159F彩色電視機電路圖,SVA上廣電D2159F彩電圖紙,SVA上廣電D2159F原理圖。
發(fā)表于 05-13 17:07
?198次下載
SVA上廣電D2559F彩色電視機電路圖,SVA上廣電D2559F彩電圖紙,SVA上廣電D2559F原理圖。
發(fā)表于 05-15 16:40
?115次下載
SVA上廣電D2560彩色電視機電路圖,SVA上廣電D2560彩電圖紙,SVA上廣電D2560原理圖。
發(fā)表于 05-15 16:44
?188次下載
SVA上廣電D2959F彩色電視機電路圖,SVA上廣電D2959F彩電圖紙,SVA上廣電D2959F原理圖。
發(fā)表于 05-15 16:46
?171次下載
SVA上廣電LA76931彩色電視機電路圖,SVA上廣電LA76931彩電圖紙,SVA上廣電LA76931原理圖。
發(fā)表于 05-15 17:25
?172次下載
SVA上廣電D2972-73彩色電視機電路圖,SVA上廣電D2972-73彩電圖紙,SVA上廣電D2972-73原理圖。
發(fā)表于 05-23 10:55
?175次下載
SVA系列彩色電視機電路圖,SVA系列彩電圖紙,SVA系列原理圖。
發(fā)表于 05-25 09:25
?184次下載
SVA系列彩色電視機電路圖,SVA系列彩電圖紙,SVA系列原理圖。
發(fā)表于 05-25 09:28
?90次下載
基于SVA的步進頻率探地雷達距離旁瓣抑制.
發(fā)表于 01-06 11:39
?10次下載
結(jié)論就是,SVA本身就是比較清晰的描述性語言,SVA和自然語言的轉(zhuǎn)換工具基本上沒有價值吧。
發(fā)表于 02-14 17:23
?458次閱讀
SVA支持多時鐘域(clock domain crossing (CDC))邏輯,例如異步FIFO。
2. SVA是一種描述語言,可讀性比較強。
發(fā)表于 03-21 14:49
?664次閱讀
SVA,即SystemVerilog Assertion,在simulation和Formal都有極為廣泛的應(yīng)用,這里介紹一些基本的概念和常用的語法。
發(fā)表于 06-14 09:31
?1407次閱讀
評論