【Verilog 教程】4.8Verilog 过程连续赋值

关键词：deassign，force，release
过程连续赋值是过程赋值的一种。这种赋值语句能够替换其他所有 wire 或 reg 的赋值，改写了 wire 或 reg 型变量的当前值。

与过程赋值不同的是，过程连续赋值的表达式能被连续的驱动到 wire 或 reg 型变量中，即过程连续赋值发生作用时，右端表达式中任意操作数的变化都会引起过程连续赋值语句的重新执行。

过程连续性赋值主要有 2 种，assign-deassign 和 force-release。

assign, deassign
assign（过程赋值操作）与 deassign （取消过程赋值操作）表示第一类过程连续赋值语句。赋值对象只能是寄存器或寄存器组，而不能是 wire 型变量。

赋值过程中对寄存器连续赋值，寄存器中的值被保留直到被重新赋值。

例如，一个带复位端的 D 触发器可以用下面代码描述：

module dff_normal(input       rstn,input       clk,input       D,output reg  Q);always @(posedge clk or negedge rstn) beginif(!rstn) begin   //Q = 0 after reset effectiveQ <= 1'b0 ;endelse beginQ <= D ;       //Q = D at posedge of clockendendendmodule

下面，用 assign 与 deassign 改写，完成相同的功能。

即在复位信号为 0 时，Q 端被 assign 语句赋值，始终输出为 0。

复位信号为 1 时，Q 端被 deassign 语句取消赋值，在时钟上升沿被重新赋值。

module dff_assign(input       rstn,input       clk,input       D,output reg  Q);always @(posedge clk) beginQ <= D ;       //Q = D at posedge of clockendalways @(negedge rstn) beginif(!rstn) beginassign Q = 1'b0 ; //change Q value when reset effectiveendelse begin        //cancel the Q value overlay,deassign Q ;  //and Q remains 0-value until the coming of clock posedgeendendendmodule

force, release
force （强制赋值操作）与 release（取消强制赋值）表示第二类过程连续赋值语句。

使用方法和效果，和 assign 与 deassign 类似，但赋值对象可以是 reg 型变量，也可以是 wire 型变量。

因为是无条件强制赋值，一般多用于交互式调试过程，不要在设计模块中使用。

当 force 作用在寄存器上时，寄存器当前值被覆盖；release 时该寄存器值将继续保留强制赋值时的值。之后，该寄存器的值可以被原有的过程赋值语句改变。

当 force 作用在线网上时，线网值也会被强制赋值。但是，一旦 release 该线网型变量，其值马上变为原有的驱动值。

为直观的观察两种类型变量强制赋值的区别，利用第一节中的计数器 counter10 作为设计模块，testbench 设计如下。

`timescale 1ns/1nsmodule test ;reg          rstn ;reg          clk ;reg [3:0]    cnt ;wire         cout ;counter10     u_counter (.rstn    (rstn),.clk     (clk),.cnt     (cnt),.cout    (cout));initial beginclk       = 0 ;rstn      = 0 ;#10 ;rstn      = 1'b1 ;wait (test.u_counter.cnt_temp == 4'd4) ;@(negedge clk) ;force     test.u_counter.cnt_temp = 4'd6 ;force     test.u_counter.cout     = 1'b1 ;#40 ;@(negedge clk) ;release   test.u_counter.cnt_temp ;release   test.u_counter.cout ;endinitial beginclk = 0 ;forever #10 clk = ~ clk ;end//finish the simulationalways begin#1000;if ($time >= 1000) $finish ;endendmodule // test