1. 区别data type和data object
我的理解data type是类似于class type，然后data object是类似于class object，相当于一个entity。所以data type可以用于声明data object。每一个data object是一个命名的entity，它带有一个data value和data type。比如：
int是一个data type；
int a=1; //a就是一个data object；
2. Singular and aggregate types
Data types可以被分类为singular或aggregate。除了unpacked structure、unpacked union、unpacked arrary，其它的data type都是singular type。unpacked structure、unpacked union、unpacked arrary都是aggregate type。一个singular variable或expression代表一个value、symbol或handle。Aggregate expressions和variables代表一组singular value。之所以这样分类，是因为方便operators和functions可以更方便的引用这些data types。
3. Nets and variables
Data objects主要可以分为两组：variables和nets。这两组的不同之处在于他们赋值和保持value的方式。
Net可以被一个或多个continuous assignment、primitive output、module port赋值。variable可以被一个或多个procedural statements赋值(包括procedural continuous assignment)。
Net可以在declaration的时候，implicit连续赋值。但variable如果在declaration的时候也给了assignment，那也只是相当于给该variable初始化，而不是continuous assignment。
有两个不同类型的net types：built-in和user-defined。Net type主要是模拟物理连线，因此net通常不能store value(除了trireg net)。Net的值取决于它的drivers，例如continuous assignment或gate。如果没有driver的话，那么它的值将会是高组态。built-in的net types有：
wire和tri是相同的syntax和functions，提供两个名字主要是用于model只是不同的purpose。wire用于被single gate或continuous assignment驱动的nets，tri用于被多个drivers驱动的nets。如果有多个drivers具有相同的logical conflicts，那么结果就是x态。
Variable是data storage element的抽象，它可以储存value。
4. Type compatibility
有5个水平的type compatibility：matching、equivalent、assignment compatible、cast compatible和nonequivalent。
5. Scalar和Vector
在reg、logic或bit定义中，scalar是1bit位宽；vector是多bit位宽。
5. Packed arrays和unpacked array的区别
Packed array是声明在data identifier name之前的dimensions，可以是1维或多维的，1维的也称为向量vector。Unpacked arrary是声明在data identifier之后的dimensions，可以1维或多维的。
Packed arrays可以将vector分为subfields，这样可以方便的访问到array中的元素。因此，packed array需要连续的bit存储。
固定size的unpacked arrary用以下两种方式声明都可以的：
6. Memory
element类型为reg、logic或bit的一维数组称为memory，如：
logic [7:0] mema [0:255]; // declares a memory arrary of 256 8-bit elements. The array indices are 0 to 255
7. Multidimensional arrarys
多维数组是数组中包含数组。多维数组可以用包括多维来定义的。在identifier之前的为packed维度，在identifier之后的称为unpacked维度。
在使用多维数组时，packed dimension在unpacked dimension之后，并且最右边的维度变化最快，如：
Part-select指的是选择一维packed arrary中某1bit或多个连续bit。
Slice指的是选择一个数组中一个或多个连续的elements。
part-selct和slice选择的size必须是常数，但位置可以是变量，如：
8. unpacket arrary访问方式
数组的index中如果是超出数组大小或包含任何的x/z态，那么该index就是无效的。
用invalid index从unpacked array读取内容，结果如下：
用invalid index写到array中，应该是不执行任何操作，除了queue中[$+1]的元素操作或者associative array创建新元素。
文章来源：https://www.toymoban.com/news/detail-408203.html
文章来源地址https://www.toymoban.com/news/detail-408203.html
到了这里，关于Systemverilog里data type的记录的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！
