第一句子网 > Verilog初级教程（14）Verilog中的赋值语句

Verilog初级教程（14）Verilog中的赋值语句

时间：2021-07-19 16:13:55

文章目录

前言正文合理的左值过程性赋值（Procedural assignment）连续赋值过程连续性赋值往期回顾

前言

何为赋值语句？即将值放到线网或者变量上，这种操作称为赋值，英文：assignment.

它有三种基本形式：

过程性赋值连续赋值过程连续赋值

正文

合理的左值

一个赋值语句有两个部分–右值（RHS）和左值（LHS），中间有一个相等的符号（=）或一个小于相等的符号（<=）。

下一节博文将看到，=为阻塞赋值，<=为非阻塞赋值。

在过程性赋值中，合理的左值应该是：

变量(矢量/标量)向量reg、integer或time变量的位选择或部分选择。存储器(Memory word)上述任何一项的合并

过程赋值通常发生在块语句中，例如initial块，always块，还有task以及function中。

连续性赋值中，合理的左值应该为：

线网（矢量/标量）矢量线网的位选择或部分选择。位选择和部分选择的合并

连续性赋值通常发生在assign中。

过程连续性赋值：

线网或者变量（向量/标量）线网向量的位选择或者部分选择

RHS可以包含任何计算为最终值的表达式，而LHS表示一个线网或一个变量，RHS中的值被赋值给它。

例如：

module tb;reg clk;reg a, b, c, d, e;wire f, y;reg z;// clk is on the LHS and the not of clk forms RHSalways #10 clk = ~clk;// y is the LHS and the constant 1 is RHSassign y = 1;// f is the LHS, and the expression of a,b,d,e forms the RHSassign f = (a | b) ^ (d & e);always @ (posedge clk) begin// z is the LHS, and the expression of a,b,c,d forms the RHSz <= a + b + c + d;endinitial begin// Variable names on the left form LHS while 0 is RHSa <= 0; b <= 0; c <= 0; d <= 0; e <= 0;clk <= 0;endendmodule

过程性赋值（Procedural assignment）

过程性赋值发生在过程（procedures）中，如always、initial、task和函数中，用于将值放到变量上。变量将保持该值，直到下一次对同一变量的赋值。

当仿真在仿真时间内的某一时刻执行该语句时，该值将被放到变量上。这可以通过使用控制流语句，如if-else-if、case语句和循环机制来控制和修改我们想要的方式。

reg [7:0] data;integer count;real period;initial begindata = 8'h3e;period = 4.23;count = 0;endalways @ (posedge clk)count <= count + 1;

变量声明赋值

一个初始值可以在变量声明时被放置到变量上，如下图所示。这个赋值没有持续时间，并且在下一次对同一变量的赋值发生之前保持这个值。

注意，不允许将变量声明赋值用给数组。

module my_block;reg [31:0] data = 32'hdead_cafe;initial begin#20 data = 32'h1234_5678; // data will have dead_cafe from time 0 to time 20// At time 20, data will get 12345678endendmodule

reg [3:0] a = 4'b4;// is equivalent toreg [3:0] a;initial a = 4'b4;

如果变量在声明过程中和initial块中的时间0被初始化，如下例所示，则不保证赋值顺序，因此变量值可以有8’h05或8’hee。

module my_block;reg [7:0] addr = 8'h05;initialaddr = 8'hee;endmodule

这种方式是不推荐的，正常人是不会这么做的。

reg [3:0] array [3:0] = 0; // illegalinteger i = 0, j;// declares two integers i,j and i is assigned 0real r2 = 4.5, r3 = 8;// declares two real numbers r2,r3 and are assigned 4.5, 8 resp.time startTime = 40; // declares time variable with initial value 40

连续赋值

这用于将值分配到标量线网和矢量线网上，只要RHS发生变化就会发生。它提供了一种不需要指定门的互连就能建立组合逻辑模型的方法，并使其更容易用逻辑表达式来驱动线网。

// Example model of an AND gatewire a, b, c;assign a = b & c;

每当b或c的值发生变化时，RHS中的整个表达式将被计算，a将被更新为新的值。

注意：我们仍然可以在线网声明的时候进行连续赋值，例如：

wire penable = 1;

但我们必须谨慎使用，因为一个网只能声明一次，所以一个网只能有一次声明赋值。

也就是说，一旦我们在声明wire变量的时候进行了连续赋值，后面则不能再次连续赋值，否则就是多驱动。

过程连续性赋值

这种赋值类型貌似很少听过，但却是存在。

有两种类型：

assign ... deassignforce ... release

assign … deassign

这将覆盖变量的所有过程性赋值，并通过使用与deassign相同的信号来停用。变量的值将保持不变，直到变量通过过程化或过程化连续赋值获得新的值。赋值语句的LHS不能是位选择、部分选择或数组引用，但可以是一个变量或变量的连接。

reg q;initial beginassign q = 0;#10 deassign q;end

为了测试，我仿真了一下，仿真文件：

module assign_tb();reg q;initial beginassign q = 0;#10 deassign q;#10 q = 1;#10 $finish;endendmodule

按照语法描述，应该是前20ns都保持为assign赋值0，之后为1；

仿真结果显示也为如此。

force…release

这些语句与assign… deassign语句类似，但也可以应用于网和变量。LHS可以是网的位选择、网的部分选择、变量或网，但不能是数组的引用和变量的位/部分选择。force语句将覆盖所有其他对变量的赋值，直到使用释放关键字释放它。

reg o, a, b;initial beginforce o = a & b;...release o;end

为了测试，我们设计如下仿真文件：

`timescale 1ns / 1ps//// Engineer:reborn lee// Create Date: /07/18 17:36:02// Module Name: assign_tb//module assign_tb();reg o, a = 1, b = 1;initial beginforce o = a & b;#10 a = 0;b = 0;o = 1;#10 a = 1;b = 1;o = 0;#20 release o;#10 a = 1;b = 1;o = 0;#10 a = 0;b = 1;o = 1;#10 $finish;endendmodule

现在对这段简单的测试程序进行分析：

在一开始的时候，由于a和b的初始值都为1，又：

force o = a & b;

因此，o的值为1；

经过10ns，a和b的值被赋值为0，因此o应该为0，但是此刻：

// force o = a & b;#10 a = 0;b = 0;o = 1;

我们尝试将o拉高；

同样在过10ns：

//initial begin// force o = a & b;//#10 a = 0;//b = 0;//o = 1;#10 a = 1;b = 1;o = 0;

我们再次尝试将o拉低；

从如下仿真图中可以看出均为成功。

这说明，在release之前，对变量o的所有操作都被忽视了。