女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示
電子發燒友網>電子資料下載>消費電子>產品手冊>SystemVerilog 3.1a語言參考手冊

SystemVerilog 3.1a語言參考手冊

2009-07-22 | rar | 6554 | 次下載 | 10積分

資料介紹

本參考手冊詳細描述了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擴展
并發斷言的形式語義

下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1DC電源插座圖紙
  2. 0.67 MB   |  2次下載  |  免費
  3. 2AN158 GD32VW553 Wi-Fi開發指南
  4. 1.51MB   |  2次下載  |  免費
  5. 3AN148 GD32VW553射頻硬件開發指南
  6. 2.07MB   |  1次下載  |  免費
  7. 4AN111-LTC3219用戶指南
  8. 84.32KB   |  次下載  |  免費
  9. 5AN153-用于電源系統管理的Linduino
  10. 1.38MB   |  次下載  |  免費
  11. 6AN-283: Σ-Δ型ADC和DAC[中文版]
  12. 677.86KB   |  次下載  |  免費
  13. 7SM2018E 支持可控硅調光線性恒流控制芯片
  14. 402.24 KB  |  次下載  |  免費
  15. 8AN-1308: 電流檢測放大器共模階躍響應
  16. 545.42KB   |  次下載  |  免費

本月

  1. 1ADI高性能電源管理解決方案
  2. 2.43 MB   |  450次下載  |  免費
  3. 2免費開源CC3D飛控資料(電路圖&PCB源文件、BOM、
  4. 5.67 MB   |  138次下載  |  1 積分
  5. 3基于STM32單片機智能手環心率計步器體溫顯示設計
  6. 0.10 MB   |  130次下載  |  免費
  7. 4使用單片機實現七人表決器的程序和仿真資料免費下載
  8. 2.96 MB   |  44次下載  |  免費
  9. 53314A函數發生器維修手冊
  10. 16.30 MB   |  31次下載  |  免費
  11. 6美的電磁爐維修手冊大全
  12. 1.56 MB   |  24次下載  |  5 積分
  13. 7如何正確測試電源的紋波
  14. 0.36 MB   |  17次下載  |  免費
  15. 8感應筆電路圖
  16. 0.06 MB   |  10次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935121次下載  |  10 積分
  3. 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
  4. 1.48MB  |  420062次下載  |  10 積分
  5. 3Altium DXP2002下載入口
  6. 未知  |  233088次下載  |  10 積分
  7. 4電路仿真軟件multisim 10.0免費下載
  8. 340992  |  191367次下載  |  10 積分
  9. 5十天學會AVR單片機與C語言視頻教程 下載
  10. 158M  |  183335次下載  |  10 積分
  11. 6labview8.5下載
  12. 未知  |  81581次下載  |  10 積分
  13. 7Keil工具MDK-Arm免費下載
  14. 0.02 MB  |  73810次下載  |  10 積分
  15. 8LabVIEW 8.6下載
  16. 未知  |  65988次下載  |  10 積分