數(shù)字硬件建模SystemVerilog(五)-文本值

System Verilog 擴展了 Verilog 的教據(jù)類型，增強了指定文本值的方法。在介紹文本值之前我們先簡單回憶一下HDL中的四個狀態(tài)數(shù)據(jù)值。

四個狀態(tài)數(shù)據(jù)值

對于RTL建模，System Verilog使用硅中可能出現(xiàn)的值的四值表示。

0表示抽象數(shù)字低電平，沒有與之相關的電壓或電流。
1表示抽象數(shù)字高電平，無電壓或電流，
Z表示抽象數(shù)字高阻抗，在多驅動器電路中，值為0或1將覆蓋Z。一些編程運算符和編程語句將Z值視為無關緊要的值。
X表示多驅動器電路中的未初始化值、不確定值或值沖突。在某些RTL模型上下文中，綜合編譯器將X值視為不關心值。

0、1和Z的值是實際硅中可能存在的值的抽象。

X的值不是實際的硅值。仿真器使用X來表示物理硅在特定情況下的行為的不確定性程度，例如，當仿真無法預測實際硅值是0還是1（或三態(tài)器件的Z）時，對于綜合，X值還為設計工程師提供了一種方法來指定“don’t-care”條件，工程師不關心實際硅在特定條件下是否具有0值或1值。

文本值-Literal values (numbers)

System Verilog 擴展了 Verilog 的教據(jù) 類型，增強了指定文本值的方法。這里的Literal values是直譯，即字面量或常量、文本值。在我理解來看，Literal是指某一數(shù)據(jù)類型的具體值。

文本值是整數(shù)或實數(shù)（浮點數(shù)）。SystemVerilog提供了幾種指定文本值的方法，還有一些文本值的語義規(guī)則，在編寫RTL模型時需要理解這些規(guī)則。

文本整數(shù)值-Literal integer values

文本整數(shù)值是一個整數(shù)，沒有小數(shù)點。（IEEE 1800 SystemVerilog標準使用術語“整數(shù)文本integer literal”而不是“文本整數(shù)literal integer”），文本整數(shù)可以通過多種方式指定：

簡單的十進制整數(shù)值
二進制、八進制、十進制或十六進制整數(shù)值
大小文本整數(shù)值
有符號或無符號文本整數(shù)值

仿真和綜合工具都需要知道或假設文本整數(shù)值的特定特征。這些特點是：

值的位寬度（向量大小）
值的有符號性（有符號或無符號）
值的基數(shù)（也稱為基數(shù)）
2-state or 4-state value

這些特征影響值的操作和賦值。

簡單的十進制文本整數(shù)

文本整數(shù)值可以指定為簡單的數(shù)字，如數(shù)字9，如以下代碼段所示：

result=d+9;

仿真和綜合將簡單的文本數(shù)視為：

32位寬的值
有符號
十進制值
2態(tài)值（沒有位可以是Z或X）

這些特征以及 d 的特征將影響加法的執(zhí)行方式以及結果賦值的執(zhí)行方式。

二進制、八進制、十進制和十六進制文本整數(shù)。可以為文本整數(shù)值指定二進制、八進制、十進制或十六進制的特定基數(shù)，該基數(shù)使用撇號（’）指定（有時稱為“勾號”），后跟一個字母：b或B表示二進制，o或O表示八進制，d或D表示十進制，h或H表示十六進制。一些示例包括：

result=‘d9+‘h2F+‘bl010;

仿真和綜合將未指定大小的顯式基本文本數(shù)視為：

32位寬的值
無符號值（注意與有符號的簡單文本整數(shù)的差異）
規(guī)定的基準值
4態(tài)值（任何或所有位可以是X或Z）

二進制值的每個位可以是0、l、X或Z；八進制值的每個3位組可以是0~7、X或Z；十進制值的每個位可以是0~9、X或Z;十六進制值的每個4位組可以是0~9、a~F、X或Z。

有符號文本整數(shù)。默認情況下，具有指定基的文本值在操作和賦值中被視為無符號值?？梢酝ㄟ^在撇號之后和基本說明符之前添加字母s或S來覆蓋此默認值。

result=’sd9+‘sh2F+‘sbl0l0;

在某些操作和賦值語句中，有符號值與無符號值的處理方式不同。后面討論了有符號和無符號值對運算符和運算的影響。

調整文本整數(shù)的大小

默認情況下，在操作、編程語句和賦值語句中，簡單文本數(shù)和指定了基數(shù)的文本數(shù)被視為32位值。此默認值不能準確表示使用其他向量大小的硬件模型。

具有特定基的值也可以指定特定的位寬度。用于表示值的位數(shù)在撇號、有符號性和基本規(guī)范之前指定:

Result=16‘d9+8‘h2F+4‘bl010;

筆記
當文本值的大小與賦值語句左側的變量不同時，綜合編譯器和lint檢查器可能會生成警告消息。這些大小不匹配警告消息可能會隱藏其他需要注意的消息。使用顯式大小的文本值將防止大小不匹配警告。

最佳做法準則3-1
在RTL模型中僅使用二進制和十六進制文本整數(shù)。這些數(shù)字基在數(shù)字邏輯中具有直觀的意義

八進制值的使用已經(jīng)過時幾十年了。文本十進制值很容易與其他數(shù)字混淆。

有個老工程笑話適用于這里。。。

Thereare10typesofpeopleintheworld,thosethatunderstandbinary，andthosethatdon’t

世界上有10種人，懂二進制的和不懂二進制的

不匹配的大小和值檢測規(guī)則

下面的規(guī)則是編寫HDL代碼中最難檢查的，也是大部分人不注意的！

指定一個位寬不同于表示該值所需位數(shù)的文本整數(shù)是合法的。例如：

SystemVerilog始終調整該值以匹配指定的大小。這些規(guī)則是：

當大小小于值的位時，值的最左邊位被截斷。
當大小大于該值的位數(shù)時，該值保持擴展。使用以下規(guī)則填充附加位：
如果值的最左邊位為0或l，則額外的高位用0填充。
如果該值的最左邊位為Z，則附加的高位用Z填充
如果該值的最左側位為X，則額外的高位用X填充。

請注意，即使將文本整數(shù)指定為有符號整數(shù)，該值也不會進行符號擴展。符號擴展發(fā)生在有符號文本值用于操作和賦值語句時，這將在后面中討論。

前面代碼段的值調整為：

4’hFACE//截斷為4’hE
16’sh8//延伸至16’sh0008
32’bZ//擴展到32’bZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZ

最佳做法準則3-2
在綜合RTL模型之前，將lint檢查程序（也稱為建模規(guī)則檢查器）與仿真結合使用。

當發(fā)生截斷時，仿真器可能會報告非致命警告消息，但不需要報告警告。仿真器將無聲地擴展文本值以匹配大小，而不會生成任何警告。存在在仿真中驗證設計功能而未意識到尺寸/值不匹配的風險。使用lint檢查器時將顯示文本值中的任何不匹配。

附加文本值規(guī)則

問號（？）可以用來代替Z來表示高阻抗。在大多數(shù)情況下，字母Z是表示高阻抗的更直觀的方式。然而，有些運算符和編程語句使用高阻抗值來表示不關心狀態(tài)。對于這些不關心的情況，使用問號表示高阻抗會更直觀。

在文本值中的任何位置都可以使用分割以下的字符（_），仿真、綜合編譯器等都可以解析，同時SystemVerilog代碼的工具會忽略下劃線。在數(shù)字中添加一個下劃線有助于使長數(shù)字更具可讀性，尤其是二進制值-下劃線也可用于顯示值中的子字段，

向量填充文本值

SystemVerilog提供了一種特殊形式的無大小文本整數(shù)，它將任何大小的向量的所有位設置為0、l、X或Z。文本值的向量大小根據(jù)其上下文自動確定。

‘0用0填充左側的所有位
‘1用1填充左側的所有位
‘z或’Z用z填充左側的所有位T
‘x或’X用x填充左側的所有位

使用向量填充文本整數(shù)的示例如下：

向量填充文本整數(shù)是建?？缮炜s設計的一個重要構造，對于不同的設計配置，可具有不同的向量寬度。本章后面章節(jié)討論了可配置向量大小的建模。

這些向量填充文本整數(shù)不是傳統(tǒng)Verilog的一部分。它們是作為原始Verilog語言的SystemVeri1og擴展的一部分添加的。

浮點文本值（實數(shù)）

SystemVerilog將浮點值稱為實數(shù)。實數(shù)使用64位雙精度浮點表示。文本浮點值是通過在文本數(shù)字中使用小數(shù)點來指定的。必須在小數(shù)點的兩側指定一個值。

3.1567
5.0
0.5

筆記
RTL綜合編譯器通常不支持實（浮點）表達式。高級綜合（HLS）工具可用于復雜的算法設計。浮點和定點設計不在本系列RTL建模的范圍之內-

審核編輯：李倩

聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規(guī)問題，請聯(lián)系本站處理。舉報投訴