systemverilog

Systemverilog 数据类型

l 合并数组和非合并数组 1）合并数组：

存储方式是连续的，中间没有闲置空间。

例如，32bit的寄存器，可以看成是4个8bit的数据，或者也可以看成是1个32bit的数据。

表示方法：

数组大小和位，必须在变量名前指定，数组大小必须是【msb：lsb】 Bit[3:0] [7:0] bytes ；

2）二维数组和合并数组识别：

合并数组： bit [3:0] [7:0] arrys; 大小在变量名前面放得，且降序 二维数组： int arrays[0:7] [0:3] ; 大小在变量名后面放得，可降序可升序

位宽在变量名前面，用于识别合并和非合并数组，位宽在后面，用于识别数组中元素个数。

3）非合并数组

一般仿真器存放数组元素时使用32bit的字边界，byte、shortint、int都放在一个字中。 非合并数组：字的地位存放变量，高位不用。 表示方法： Bit [7:0] bytes;

4）合并数组和非合并数组的选择

（1）当需要以字节或字为单位对存储单元操作。

（2）当需要等待数组中变化的，则必须使用合并数组。例如测

Systemverilog 数据类型

l 合并数组和非合并数组 1）合并数组：

存储方式是连续的，中间没有闲置空间。

例如，32bit的寄存器，可以看成是4个8bit的数据，或者也可以看成是1个32bit的数据。

表示方法：

数组大小和位，必须在变量名前指定，数组大小必须是【msb：lsb】 Bit[3:0] [7:0] bytes ；

2）二维数组和合并数组识别：

合并数组： bit [3:0] [7:0] arrys; 大小在变量名前面放得，且降序 二维数组： int arrays[0:7] [0:3] ; 大小在变量名后面放得，可降序可升序

位宽在变量名前面，用于识别合并和非合并数组，位宽在后面，用于识别数组中元素个数。

3）非合并数组

一般仿真器存放数组元素时使用32bit的字边界，byte、shortint、int都放在一个字中。 非合并数组：字的地位存放变量，高位不用。 表示方法： Bit [7:0] bytes;

4）合并数组和非合并数组的选择

（1）当需要以字节或字为单位对存储单元操作。

（2）当需要等待数组中变化的，则必须使用合并数组。例如测

=阻塞串行

<=非阻塞并行

1）时序逻辑----使用非阻塞赋值 2）锁存器----使用非阻塞赋值

3）用always块生成的组合逻辑----用阻塞赋值 4）在同一个always块中既有时序逻辑又有组合逻辑--- 用非阻塞赋值

5）在同一个always块中不要既用阻塞赋值又用非阻塞赋值 6）不要在一个以上的always块中对同一个变量赋值 7）用$strobe显示用非阻塞赋值指定的变量值

8）不要用 ＃0 过程性赋值Modport将信号分组并指明方向

函数不能消耗时间，不能有#100@(posedge clk)wait之类的阻塞语句

Interface arb_if(input bit clk); Logic [1:0] a,b; Logic rst;

Modport test(output a,rst, Input b,clk); Endinterface

Module arb(arb_if.test arbif); ………… Endmodule

数组定位

Int tq[$],d[]=’{9,1,8,3,4,4};

Tq=d.find_index(x) with (item>3); //{0,2,4,5}得到的是脚标

Bind: very useful in systemverilog. Assertion:

1．## “a ##3 b”意思是a 之后3个周期b….

2．“|->”表示如果先行算子匹配，后序算子在同一周期开始计算 3．“|=>”表示如果先行算子匹配，后序算子在下一个周期开始计算 4．重复操作符：

* ** ***

连续重复“[*m]”: “a[*1:3]”表示a被连续重复1~3次 跳转重复 “[->]”: “a[->3]”表示a被跳转重复3次 非连续重复 “[=m]”: “a[=3]”表示a被非连续重复3次

芯片设计：verilog断言（SVA）语法

断言assertion被放在verilog设计中，方便在仿真时查看异常情况。当异常出现时，断言会报警。一般在数字电路设计中都要加入断言，断言占整个设计的比例应不少于30%。以下是断言的语法：

1. SVA的插入位置：在一个.v文件中： module ABC (); rtl代码 SVA断言

endmodule

注意：不要将SV

本教程将介绍新引入Systemverilog的数据类型。他们大多数是可综合的，而且使得RTL级描述更易于被编写和理解。

整型和实型

SystemVerilog 引入了几种新的数据类型。C语言程序员会熟悉其中的大多数。引进新的数据类型构思是这样的，如果C语言和SystemVerilog有相同的数据类型的话可以使C语言算法模型更容易的转化为SystemVerilog模型。

Verilog的变量类型是四态类型：即0，1，X（未知值）和Z（高阻值）。SystemVerilog新引入了两态的数据类型，每一位只可以是0或者1。当你不需要使用的X和Z值时，譬如在写Testbench和做为For语句的循环变量时。使用两态变量的RTL级模型，可以使仿真器效率更高。而且使用得当的话将不会对综合结果产生任何的影响。

两态整型 类型 描述 例子 bit [3:0] a_nbit 用户定义大小 ibble; 8 bits, unsigned（无byte byte a, b; 符号） shorti16 bits, signed（有shortint c, nt 符号） d; 32 bits, signed（有int int i,j; 符号） longin64 bits,

SystemVerilog断言学习笔记1

一、前言

随着数字电路规模越来越大、设计越来越复杂，使得对设计的功能验证越来越重要。首先，我们要明白为什么要对设计进行验证？验证有什么作用？例如，在用FPGA进行设计时，我们并不能确保设计出来的东西没有功能上的漏洞，因此在设计后我们都会对其进行验证仿真。换句话说，验证的目的是彻底地验证被测设计以确保设计没有功能上的缺陷。而即将介绍的SystemVerilog断言便是一门重要的验证技术，它可以尽早发现设计的缺陷以及提高验证的效率。

二、基本概念

1、什么是断言

断言是设计属性的描述。而断言可以从设计的功能描述中推知，然后转换成断言。那么断言是如何表现的呢？当一个被检查的属性不像我们期望的那样表现时，则该断言失败；当一个禁止在设计中出现的属性发生时，则该断言失败。 2、为什么要使用SystemVerilog断言

Verilog HDL也能实现断言，但其存在不足之处：

? ? ? ?

Verilog HDL是一种过程语言，不能很好地控制时序；

Verilog HDL是一种冗长的语言，随着断言数量的增加，维护代码将变得很困难； 语言的过程性使得测试同一时间段内发生的并行事件相当困难； Ver