前面已經(jīng)寫了大約10篇左右文章介紹了SV,效果不是特別理想,對于一些常規(guī)的概念還是比較好理解的,但是對于一些新的專業(yè)術語,翻譯的比較拗口還是比較難理解的,這是因為國內(nèi)還沒有針對可綜合SystemVerilog系統(tǒng)的介紹,導致標準里的術語翻譯不精確,后續(xù)可能還是使用英語單詞來表示,然后用一些非專業(yè)術語去解釋,下面簡單總結一下這十幾篇內(nèi)容。
最前面幾篇文章重點介紹SystemVerilog仿真與綜合概念及一些對比,總結如下:
SystemVerilog是硬件設計和驗證語言的IEEE行業(yè)標準。標準編號為IEEE 1800。SystemVerilog名稱將替換舊版Verilog名稱。SystemVerilog語言是原始Verilog硬件描述語言的完整超集。SystemVerilog是一種雙用途語言,用于描述數(shù)字硬件功能以及驗證測試臺。

硬件行為可以在幾個抽象級別上表示,從非常詳細的門級模型到非常抽象的事務級模型。本系列的重點是在寄存器傳輸級別(RTL)編寫SystemVerilog模型。RTL模型表示基于周期的行為,很少或根本沒有提及如何在硅中實現(xiàn)功能。
SystemVerilog RTL模型如果編碼正確,可以進行仿真和綜合,仿真使用用戶定義的測試臺將激勵應用于設計輸入,并驗證設計功能是否符合預期。仿真對SystemVerilog語言的使用沒有任何限制。綜合將抽象的RTL功能轉換為詳細的門級實現(xiàn)。綜合編譯器限制了可以使用哪些SystemVeriIog語言結構以及如何使用這些結構。Lint checker工具可用于檢查RTL模型是否符合綜合編譯器的限制。
接下來完整的介紹了SV的數(shù)據(jù)類型:網(wǎng)絡和變量類型,總結如下:
研究了SystemVerilog語言中預定義的內(nèi)置類型和數(shù)據(jù)類型。重點是對編寫RTL模型有用的類型和數(shù)據(jù)類型,這些RTL模型將以最佳方式進行仿真和綜合。
SystemVerilog具有2-state和4-state數(shù)據(jù)類型。4-state數(shù)據(jù)類型的四值系統(tǒng)允許建模硬件行為值0、1和Z表示物理硬件。值X用于仿真不關心條件,其中設計工程師不關心物理硬件是否具有0或1值。仿真器還使用X值表示潛在問題,其中仿真無法確定實際邏輯門是否具有0、1或Z。SystemVerilog的2-state類型不應用于仿真硬件行為,因為它們沒有X值來表示仿真期間的潛在設計錯誤。
SystemVerilog網(wǎng)絡類型(如wire類型)用于將設計塊連接在一起。網(wǎng)絡始終使用4-state數(shù)據(jù)類型,并且當有多個源驅動同一網(wǎng)絡時,可以解析最終值。SystemVerilog變量類型用于接收賦值語句左側的值,并將存儲賦值=直到對變量進行另一次賦值。SystemVerilog有幾種網(wǎng)絡類型和變量數(shù)據(jù)類型。已經(jīng)展示了聲明網(wǎng)絡和變量的語法,并討論了重要的語義規(guī)則。還討論了在RTL模型中如何正確使用這些不同的網(wǎng)絡和變量。
SystemVeriIog允許通過使用參數(shù)和localparam常量編寫可配置的模型。可以使用參數(shù)重寫(也稱為參數(shù)重新定義)為模塊的每個實例指定常數(shù)的唯一值。

優(yōu)秀的 Verilog/FPGA開源項目介紹(二十二)- SystemVerilog常用可綜合IP模塊庫
談談Verilog和SystemVerilog簡史,F(xiàn)PGA設計是否需要學習SystemVerilog
SystemVerilog數(shù)字系統(tǒng)設計_夏宇聞 PDF
SystemVerilog(一)-RTL和門級建模
數(shù)字硬件建模-Verilog篇階段總結及SystemVerilog篇介紹
SystemVerilog(二)-ASIC和FPGA區(qū)別及建模概念
SystemVerilog(三)-仿真

FPGA的綜合和約束的關系
SystemVerilog(五)-文本值
SystemVerilog(六)-變量

SystemVerilog(七)-網(wǎng)絡

數(shù)字硬件建模SystemVerilog(八)-端口聲明

現(xiàn)在介紹完前兩級的內(nèi)容,后續(xù)將介紹最重要的一章-《用戶自定義類型和包》。有什么問題可以后臺留言。
原文標題:SystemVerilog-階段性總結(一)
文章出處:【微信公眾號:OpenFPGA】歡迎添加關注!文章轉載請注明出處。
-
FPGA
+關注
關注
1660文章
22423瀏覽量
636666 -
IEEE
+關注
關注
7文章
417瀏覽量
50067 -
寄存器
+關注
關注
31文章
5609瀏覽量
130035 -
硬件
+關注
關注
12文章
3592瀏覽量
69038
原文標題:SystemVerilog-階段性總結(一)
文章出處:【微信號:Open_FPGA,微信公眾號:OpenFPGA】歡迎添加關注!文章轉載請注明出處。
發(fā)布評論請先 登錄
FPGA時序收斂的痛點與解決之道——從一次高速接口調(diào)試談起
Vivado時序約束中invert參數(shù)的作用和應用場景
輸入引腳時鐘約束_Xilinx FPGA編程技巧-常用時序約束詳解
蜂鳥e203移植要從哪些方面入手,在bsp中哪里修改引腳對應關系,約束文件?
開源RISC-V處理器(蜂鳥E203)學習(二)修改FPGA綜合環(huán)境(移植到自己的Xilinx FPGA板卡)
時序約束問題的解決辦法
關于綜合保持時間約束不滿足的問題
蜂鳥e203移植fpga上如何修改約束文件
FPGA開發(fā)板vivado綜合、下載程序問題匯總
技術資訊 I 圖文詳解約束管理器-差分對規(guī)則約束
Vivado無法選中開發(fā)板的常見原因及解決方法
PCB Layout 約束管理,助力優(yōu)化設計
FPGA時序約束之設置時鐘組
一文詳解Vivado時序約束
FPGA的綜合和約束的關系
評論