【芯片设计- RTL 数字逻辑设计入门 11.1 -- 状态机实现移位运算与乘法 1】

文章目录

- 移位运算与乘法
- - 状态机简介
  - SystemVerilog中的测试平台
  - VCS 波形仿真
- 阻塞赋值和非阻塞赋值
- - 有限状态机（FSM）与无限状态机的区别

本篇文章接着上篇文章【芯片设计- RTL 数字逻辑设计入门 11 – 移位运算与乘法】继续介绍，这里使用状态机来实现。

移位运算与乘法

已知d为一个8位数，请在每个时钟周期分别输出该数乘1/3/7/8,并输出一个信号通知此时刻输入的d有效（d给出的信号的上升沿表示写入有效）
在这里插入图片描述

在这里插入图片描述

状态机简介

在Verilog中实现状态机通常包括三个主要部分：状态声明、状态转换和输出逻辑。状态机可以是"Moore"或"Mealy"类型，区别在于输出是仅由当前状态决定（Moore），还是由当前状态和输入决定（Mealy）。

以下是一个 错误的 Moore 状态机的 Verilog 代码示例：

module moore_state_machine( 
	input clk, 
	input rstn, 
	output reg done 
	);

// 状态声明 
localparam [1:0] S_IDLE = 2'b00, S_START = 2'b01, S_DONE = 2'b10;

// 状态寄存器 
reg [1:0] current_state, next_state;

// 状态转换逻辑 
always @(posedge clk or posedge reset) begin 
	if (!rstn) begin
		done = 0; 
		current_state <= S_IDLE; 
	end 
	else begin 
		current_state <= next_state; 
	end 
end

// 下一个状态和输出逻辑 
always @(*) begin 
	case (current_state) 
		S_IDLE: begin 
			if (start) begin 
				next_state = S_START;
			end 
		end 

		S_START: begin 
			// 执行一些操作... 
			next_state = S_DONE; 
		end 

		S_DONE: begin 
			done = 1'b1; 
			next_state = S_IDLE; 
		end 

		default: 
			next_state = S_IDLE; 
	endcase 
end

endmodule

此外，还需要注意以下几点：

开始状态，这个状态通常都是做一些信号的初始化，然后再执行下一个状态；
结束状态，也就是最后一个状态，这时需要回到最开始的状态；
default 的情况，通常都是回到开始状态。

SystemVerilog中的测试平台

以下是上述状态机的SystemVerilog测试平台（testbench）代码示例：

module tb_moore_state_machine; 
	// 测试平台信号 
	reg clk, reset, done; 

	// 实例化状态机模块 
	moore_state_machine uut( 
		.clk(clk), 
		.reset(reset), 
		.done(done) 
	); 

	// 时钟生成 
	always #5 clk = ~clk; 

	// 测试序列 
	initial begin 
		// 初始化信号 
		clk = 0; 
		rstn = 0; 
		#10; 
		
		// 释放复位 
		reset = 1; 
		#30; 

	// 断言检查状态机是否正确完成 
	assert (done === 1'b1) else $error("状态机未正确完成。"); 

	// 仿真结束 
	$finish; 
end 
endmodule

VCS 波形仿真

在这里插入图片描述
所以可以看出来仿真结果并不是预期中的，这里主要是由于什么问题导致的？答案是阻塞赋值与非阻塞赋值，接下来对它进行详细介绍。

阻塞赋值和非阻塞赋值

在 always 语句块中， Verilog 语言支持两种类型的赋值：阻塞赋值和非阻塞赋值。阻塞赋值使用
“=” 语句；非阻塞赋值使用“<=” 语句。

阻塞赋值：在一个“begin…end” 的多行赋值语句，先执行当前行的赋值语句，再执行下一行的赋值语句。

非阻塞赋值：在一个“begin…end” 的多行赋值语句，在同一时间内同时赋值。

begin
	c = a;
	d = c + a;
end

begin
	c <= a;
	d <= c + a;
end

上面两个例子中，第1个例子是阻塞赋值，程序会先执行第 1 行，得到结果后再执行第 2 行。第2个例子是非阻塞赋值，两行的赋值语句是同时执行的。

组合逻辑中应使用阻塞赋值“=” ，时序逻辑中应使用非阻塞赋值“<=” 。可以将这个规则牢牢记住，按照这一规则进行设计绝对不会发生错误。

对代码做了如下两处修改(将阻塞赋值修改wield非阻塞赋值，同时检测任意信号变化)：
在这里插入图片描述
仿真波形图如下：

如果再将 “下一个状态和输出逻辑” 中的 always @(*) begin 修改为always @(posedge clk or posedge reset) begin 之后则会出现仿真失败，波形图如下：

不太清楚是什么原因导致的这个问题！！！