資料介紹
本參考手冊詳細描述了Accellera為使用Verilog硬件描述語言在更高的抽象層次上進行系統的建模和驗證所作的擴展。這些擴展將Verilog語言推向了系統級空間和驗證級空間。SystemVerilog構建于IEEE Verilog 2001委員會所作的工作之上。
“Verilog”或“Verilog-2001”指的是IEEE Std. 1364-2001 Verilog硬件描述語言標準;
“SystemVerilog”指的是Accellera對Verilog-2001標準所作的擴展。
?在本參考手冊中對Verilog語言的幾個版本進行了如下的編號:
“Verilog 1.0”指的是IEEE Std. 1364-1995 Verilog硬件描述語言標準,也被稱作Verilog-1995;
“Verilog 2.0” 指的是IEEE Std. 1364-2001 Verilog硬件描述語言標準,一般稱之為Verilog-2001。這一版本的Verilog包含了自從Verilog在1990年向公共領域開放以來所作的首次具有革新意義的增強;
“SystemVerilog 3.x”指的是Verilog-2001加上為在更高的抽象層次上進行系統建模和驗證所作的擴展,也就是在本參考手冊中描述的版本;
SystemVerilog 3.0在2002年六月被批準為Accellera標準,主要針對高層結構建模進行了增強;
SystemVerilog 3.1在2003年五月被批準為Accellera標準,主要針對高級驗證和C語言集成進行了增強;
SystemVerilog 3.1a在2004年四月被批準為Accellera標準,包括了對SystemVerilog 3.1手冊所作的修正和解釋。同時對Verilog進行了更多的增強,例如SystemVerilog結構的VCD和PLI規范等。
在Accellera HDL+Technical小組委員會的指導之下,Accellera正在為增強Verilog進行著持續的努力。這個委員會也會在SystemVerilog 3.1a之上繼續為Verilog進行更多的增強。
SystemVerilog構建于Verilog-2001之上。SystemVerilog改進了Verilog代碼的生產率、可讀性以及可重用性。SystemVerilog中的語言增強提供了更加簡潔的硬件描述,同時又為SystemVerilog能夠使用現存的工具進入當前的硬件實現流程提供了一個簡單的途徑。這些增強還為被控的測試平臺開發、隨機約束的測試平臺開發、覆蓋驅動的驗證、以及基于斷言的驗證提供了廣泛的支持。
SystemVerilog為Verilog-2001加入了擴展的結構和新的結構,包括:
對數據類型的擴展,能夠產生更好的代碼封裝,代碼也更加簡潔,并且能夠產生更嚴格的規范;
C語言數據類型:int、typedef、struct、union、enum;
其它數據類型:有界隊列、logic(0、1、X、Z)、bit(0、1)以及安全的標簽聯合體;
動態數據類型:字符串、類、動態隊列、動態數組、包含自動存儲空間管理的聯合數組使得用戶從存儲單元釋放方面的問題中解脫出來;
動態強制類型轉換與位流強制類型轉換;
基于單個變量實例的自動/靜態說明;
為了獲得簡潔的描述對操作符進行了擴展;
通配等式與通配不等式;
使用內建方法對語言進行了擴展;
操作符過載;
流操作符;
集合成員資格;
擴展的過程語句;
選擇語句中作用于標簽聯合體的模式匹配;
增強的循環語句加上foreach語句;
類似于C的跳轉語句:return、break、continue;
在仿真結束時執行的final塊(與initial塊相反);
擴展的事件控制和序列控制;
增強的進程控制;
擴展了always塊以便使仿真和綜合具有一致的結果;
擴展了fork…join以便對流水線建模以及進行增強的進程控制;
精細的進程控制
增強的任務與函數;
類似于C語言的void函數;
通過引用傳遞;
缺省參數;
通過名字傳遞;
可選的參數;
為DPI(直接編程接口)導入/導出函數;
類:面向對象的機制提供了抽象、封裝和安全指針的能力;
利用隨機約束支持自動化的測試平臺;
進程間的通信同步;
semaphore;
mailbox;
事件擴展、事件變量、以及事件定序;
調度語義的解釋和擴展;
基于周期的功能性:時鐘控制塊和基于周期的特性能夠簡化開發過程、提高可維護性、以及改進可重用性;
基于周期的信號驅動與采樣;
同步采樣;
無風險的程序語境
為驗證設計意圖和功能覆蓋意圖而采用的斷言機制;
特性與序列聲明;
使用動作塊的斷言和覆蓋語句
支持擴展的層次;
使用為進行可控的訪問而具有導入功能的包來封裝聲明;
編譯單元范圍內的嵌套模塊以及支持分離編譯的外部模塊;
擴展了端口聲明以便支持接口、事件和變量;
$root提供了通過層次引用來明確訪問的能力;
通過接口來封裝通信以及推動“面向通信”的設計;
功能覆蓋
使用直接編程接口(DPI)與其它語言(例如C)進行清晰、有效的互操作;
斷言API;
覆蓋API;
數據讀API;
為SystemVerilog結構所作的VPI擴展
并發斷言的形式語義
- 英集芯IP6536 輸出 2.4A/3.1A,集成 DCP 輸出協議的 SOC 民信微
- 英集芯 IP6503S :輸出 2.4A/3.1A,集成 DCP 輸出協議的 SOC
- 車載降壓IC:IP6503ST?輸出2.4A/3.1A ,集成DCP輸出協議的SOC IC
- SystemVerilog3.1a語言參考手冊 2次下載
- IP6536輸出2.4A/3.1A集成 DCP協議的SOC
- IP6503S輸出2.4A/3.1A集成DCP輸出協議SO
- CX8812 32V 5V/3.1A CC/CV DC-DC降壓芯片
- SystemVerilog的正式驗證和混合驗證 24次下載
- Verilog硬件描述語言參考手冊免費下載 72次下載
- C和C++語言參考手冊 21次下載
- Verilog硬件描述語言參考手冊 0次下載
- C語言參考手冊第五版 0次下載
- 基于SystemVerilog語言的驗證方法學介紹 52次下載
- SystemVerilog 3.1a Language Re
- SystemVerilog的斷言手冊
- 分享一些SystemVerilog的coding guideline 558次閱讀
- SystemVerilog在硬件設計部分有哪些優勢 925次閱讀
- SystemVerilog的隨機約束方法 1167次閱讀
- verilog-2005和systemverilog-2017標準規范 2262次閱讀
- 如何實現全面的SystemVerilog語法覆蓋 484次閱讀
- 開源的Bluespec SystemVerilog (BSV)語言表現如何? 605次閱讀
- SystemVerilog中的Semaphores 3053次閱讀
- SystemVerilog語言中的Upcasting和Downcasting概念解析 1239次閱讀
- SystemVerilog中的Shallow Copy 759次閱讀
- SystemVerilog中的struct 2213次閱讀
- SystemVerilog中的package 1085次閱讀
- SystemVerilog中的操作方法 2473次閱讀
- SystemVerilog中$cast的應用 2559次閱讀
- Systemverilog event的示例 1382次閱讀
- 使用Verilog/SystemVerilog硬件描述語言練習數字硬件設計 1484次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7藍牙設備在嵌入式領域的廣泛應用
- 0.63 MB | 3次下載 | 免費
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多