一.数据类型

二值逻辑变量

bit

  • 不赋值的时候,变量初始默认为0
  • x或z的值会转变为0
  • bit vector--bit矢量
bit [msb,lsb] variable_name = [initial_value]
  • 位宽:最高位为MSB,最低位为LSB
  • 不加任何描述,默认为unsigned,无符号数;表示有符号数需要加signed进行描述
  • 二值逻辑方便编译器的优化,效率更高,性能更好;但是不支持X和Z状态,不适用于RTL设计
    建立自己的仿真目录
  1. sim -- 仿真目录,放Makefile文件
  2. RTL -- 放RTL代码
  3. TB -- 放testbench
  • 使用tb文件进行仿真
module tb_test;

//定义变量
bit [3:0] a;
bit [4:0] b;


initial begin 
  a = 4'b0;
  b = -10;
  $display("a = %b",a);
  $display("b = %b",b);   // 10110 就是-10的补码
end
endmodule
  • begin end之间就是代码块
  • $display()就类似于print()函数
  • 使用Makefile进行测试
    Makefile文件
PLATFORM = LINUX64
FLIST := ../tb/tb_test.v
run:
  vcs -sverilog $(FLIST) -debug_all -P ${NOVAS_HOME}/share/PLI/VCS/LINUX64/novas.tab ${NOVAS_HOME}/share/PLI/VCS/LINUX64/pli.a -R -kdb -lca

wave:
  verdi -simflow -elab simv.daidir/kdb.elab++ -ssf sim.fsdb

clean:
  rm csrc novas_dump.log sim.fsdb simv simv.daidir ucli.key verdi_config_file novas.conf novas.rc verdiLog -rf

通过make run进行仿真

byte\shortint\int\longint

  • byte 8bit
  • shortint 16bit
  • int 32bit
  • longint 64bit
byte/shortint/int/longint variable_name = initial_value;
  • 默认都是有符号数,十进制数
  • 在前端设计中,这些数据类型是很少用到的
shortint temp = 256;
int sample,ref_data = -9876;
longint a,b;
longint unsigned testdata;

real & shortreal

  • real 等于C语言中的double,64bit
  • shortreal等于C语言中的float,32bit
  • 有符号数
  • 在验证覆盖率的时候会用到
real/shortreal variable_name = initial_value

real alpha = 100.0,coverage_result;
coverage_result = $get_coverage();
if(coverage_result = 100.0)...

四值逻辑变量

  • 四值逻辑:0,1,x,z
  • 如果不声明数值,变量的初始值为x;在进行设计的时候要避免x态传递

reg & logic

  • 四值逻辑在verilog中使用reg
reg [MSB:LSB] variable_name = initial_value;
  • 在SV中使用logic变量
logic [MSB.LSB] variable_name = initial_value;
  • reg和logic如果不用signed修饰,默认都是无符号数
  • logic继承了reg所有的特性,但是logic可以进行连续赋值,并且只有一个驱动;如果定义了一个reg变量,是不能用assign对其进行赋值的,但是logic变量可以用assign进行赋值
  • SV中:logic相当于reg和只有一个驱动的wire
module tb_test;

  wire [3:0] b;
  assign b = din_c;
  assign b = din_d;  //多个变量和b连接,多驱动,前提是cd具有推拉结构,OC,OD门
  
  wire [3:0] e;
  assign e = din_c;  //单驱动
endmodule

integer & time

  • integer,32bit有符号数
  • time,64bit无符号数
integer a = -100,b;
time current_time;
b = -a;
current_time = $time;// $time内置函数,返回仿真时间
if(current_time>100ms).....

枚举类型

将所有的情况列举出来,在状态机中使用的比较多,比如FSM有限状态机

  • 默认的数据类型是int
  • 初始化值是0
  • 可以使用枚举变量.name,显示枚举字符
enum [data_type] {named constants} enum_var1,enum_var2....;

module tb_test;
  enum bit[2:0] {IDLE=3'b001,TEST=3'b010,START=3'b100} st; //声明枚举类
  initial begin
    st = START;
    $display("st=%3b,name=%s",st,st.name); //st = 100,name=START
    $finish;
  end
endmodule
  • 使用typedef定义枚举类,方便例化
typedef enum [data_type] {named constants} enumtype;

typedef enum bit[2:0] {IDLE=3'b001,TEST=3'b010,START=3'b100} state; //定义枚举类

state st;   //例化一个枚举
initial begin
    st = START;
    $display("st=%3b,name=%s",st,st.name); //st = 100,name=START
    $finish;
  end
  • 不使用枚举类型还可以使用parameter
parameter variable_name = initial_value;

固定数组

type(数据类型 bit reg logic..) [位宽] array_name [size] = initial value;
  • 超过边界的写操作将被忽略
  • 超过边界的读操作:2值逻辑返回0,四值逻辑返回x
  • 支持多维数组
  • size--就是数组长度,index从0开始
integer number[5]; //定义一个长度为5的数组,不给初值

int b[2] = {3,7};

int c[2][3] = {{3,7,1},{5,1,9}};  //定义二维数组

byte d[7]][2] = {default:-1} ; 将所有元素的值都设置默认-1

bit [31:0] a[2][3] = c; //数组可以通过赋值的方式进行复制

for(int i = 0;i<$dimensions(a);)
  $display($size(a,i+1);) // 2,3,32
  • $dimensions(数组)--返回数组的维数
  • $size(数组,数组维数)--返回给定数组维数数组元素的个数
module tb_test;
  logic [3:0] arr[3]; //定义长度为3的一维数组,每个元素为三位二进制数
  logic [3:0] arr2[3][3]; //定义二维数组
  initial begin
    arr[0] = 4'd2;
  end
endmodule

二.操作符

语法规则

  • verilog和system verilog一样,都是大小写敏感的
  • 注释 // /**/
  • 数制格式
<size>'<base><number>
  • base-b表示2进制 ,d表示10进制,h表示16进制数
  • size是将数值转化为二进制数的时候的二进制位宽
32'h_beef_cafe

操作符

  • 一般在写除法的时候,是需要设计特定的算法进行计算的,硬件当中实现除法比较麻烦
  • 自增和自减用在for循环中使用的比较多
  • 逻辑运算&& || !
  • 逻辑等于,不等于 == !==
  • 逻辑与或非,在运算的时候需要参与运算的位数应该都是一位的
    左移和右移运算
module tb_test
  logic [3:0] a;

  initial begin 
    a = 4'b0011;
    d = $signed(4'b0011);    //转化为有符号数
    b = a << 2;
    c = d >>> 2;
    $display("b = %4b",b);   //左移低位补零,1100
    $display("c = %4b",c);   //右移,逻辑运算右移>>,高位补0,算术右移>>>,高位补符号位 c = 1111
  end
endmodule
  • 按位与或
module tb_test.v
  logic [3:0] a;
  logic [3:0] b;
  
  initial begin
    a = 4'b0011;
    b = 4'b0011 & 4b'1100;
    $display("b = %4b",b);
    $finish;
  end
endmodule
  • 缩减运算符,单目运算符,第一位与下一位进行运算,最后输出一位
  • 三目运算符
module tb_test.v
  logic [3:0] a;
  logic [3:0] b;
  logic       sel;
  logic [3:0] mux;
  initial begin
    mux = sel ? a : b;
    $finish;
  end
endmodule
  • {a,b} -- 将ab两个数连接在一起,
a = 4b'1100;
b = 4b'0011;
c = {a,b}; // 1100_0011

  • 逻辑比较运算符

  • == != 遇到x和z,就会返回x

  • === !=== 会将0 1 x z都进行匹配
    07-verilog & sytem verilog-小白菜博客

  • 通配比较符

匹配等==？和不匹配等!=？，按位比较，把x和z值当作匹配值，仅仅把右侧操作数中的z和x当作屏蔽信号
可以理解为,右边能够匹配上左边就返回真,xz可以取任意值0或1

a=4'b1111;
b=4'b11xz
a==?b//数字相等，只要x和z能通配到1就可以是匹配等，返回逻辑值为1'b1,真

A = 010z;
B = 0101;
A ==? B; //右边匹配不上左边   x
B ==? A; // z=1的时候,右边===左边 1

赋值语句

  • -= += *= /= %=
  • 在assign中使用复合赋值运算,会形成组合逻辑环comb loop

三.控制语句

自增和自减运算符

经常用在for循环中

for(int i = 0 ; i < 3; i++)begin
  .....
end

i = 1;
j = i++;  // j = 1
j = ++1;  // j = 2
j = i--;  // j = 1
j = --i;  // j = 0

在阻塞赋值总使用自增自减运算符,会造成竞争与冒险

module tb_test;
  integer i,j;
  
  initial begin
    i = 0;
    j = 0
    while(i++<5) begin   //先判断再加一,当i=5时,判断不满足,还要再加1,最后i = 6
    end
    while(++j<5) begin   // 先加1,再判断,j=5
    end
  end
endmodule

自定义类型

使用typedef为一个数据类型创建符号

typedef logic [31:0] vec;
vec a;  // 创建32位a变量
vec b;  // 创建32位b变量

在一些变量定义比较长的时候进行使用
数据类型转换

type'(value或variable)

logic signed [31:0] a;
logic [31:0] b;
logic [63:0] c;
assign c = a*b; //error,有符号数*无符号数出错,需要进行数据类型转换
assgin c = unsigned(a)*b;

bit [7:0] playload[]; //不给数组长度就是定义了一个动态数组
int temp = $random; // 生成一个随机数
playload = new [(temp%3)+2];  //实例化数组并指定长度
playload = new [(uint'(temp)%3)+2];
playload = new [(unsigned'(temp)%3)+2];

顺序控制

07-verilog & sytem verilog-小白菜博客
1.for循环

sv中循环遍历可以在for语句中定义,verilog中只能定义在外部
for循环中声明的i和外部声明的i是不相同的,互不影响

for(int i;i<3;i++) begin
end
  1. while
while() begin
end
  1. continue/break/return
  • return 结束函数和task;用于循环,停止循环
  • continue 用于循环语句,结束本次循环,执行下次循环
  • break 用于循环语句,跳出循环
  1. do ... while
  • while循环的时候,不一定会执行
  • do..while至少会执行一次
do begin
  ...
end while(条件)

5.case
先计算表达式值,将case中的值与表达式的值进行匹配,匹配成功执行语句

  • 匹配是从上到下匹配的
case(expr)
 value1: xxxxxx
 value2: xxxxxx
 ...
 default  xxxx
endcase

6.casez或casex

  • casez 不关心z
  • 忽略对应位上的z
sel = 4'b1100;
casez(sel)
  4b'1101:data = 4'b01;
  4b'zz00:data = 4'b00;   //casez会匹配zz00  casez就不关心value中的z位置对应的值
  default data = 4'b0011;
endcase
  • casex忽略对应位置出现的x和z
  1. @ & wait
  • @ 等待时间发生才执行后面的程序,可以是信号变量,上升沿,下降沿,事件变量
always@(posedge Clk) begin
  ...
end
  • wait(expr) begin...end 是不可综合的
  • 延迟信息 #5 5个时间单位,单位体现在timescale = 1np/100ps