Verilog三段式状态机描述

发表于 2013-1-29 22:59

序电路的状态是一个状态变量集合，这些状态变量在任意时刻的值都包含了为确定电路的未来行为而必需考虑的所有历史信息。
状态机采用VerilogHDL语言编码，建议分为三个always段完成。
三段式建模描述FSM的状态机输出时，只需指定case敏感表为次态寄存器，然后直接在每个次态的case分支中描述该状态的输出即可，不用考虑状态转移条件。
三段式描述方法虽然代码结构复杂了一些，但是换来的优势是使FSM做到了同步寄存器输出，消除了组合逻辑输出的不稳定与毛刺的隐患，而且更利于时序路径分组，一般来说在FPGA/CPLD等可编程逻辑器件上的综合与布局布线效果更佳。

发表于 2013-1-29 23:00

示列如下：

//第一个进程，同步时序always模块，格式化描述次态寄存器迁移到现态寄存器
always @ (posedge clk or negedge rst_n)  //异步复位
if(!rst_n)
current_state <= IDLE;
else
current_state <= next_state;//注意，使用的是非阻塞赋值

//第二个进程，组合逻辑always模块，描述状态转移条件判断
always @ (current_state) //电平触发
  begin
next_state = x;  //要初始化，使得系统复位后能进入正确的状态
case(current_state)
S1: if(...)
   next_state = S2;  //阻塞赋值
...
endcase
end

//第三个进程，同步时序always模块，格式化描述次态寄存器输出
always @ (posedge clk or negedge rst_n)
...//初始化
case(next_state)
S1:
out1 <= 1'b1;  //注意是非阻塞逻辑
S2:
out2 <= 1'b1;
default:... //default的作用是免除综合工具综合出锁存器。
endcase
end

发表于 2013-1-29 23:11

示例看看值得一看

发表于 2013-1-30 20:35

好资料有空一定要仔细看一看呵呵顶起来呵呵

发表于 2013-9-24 15:10

发表于 2013-9-24 16:49

哎，我的状态机从来都不是这么写的。。。用不惯阻塞赋值

发表于 2013-10-16 14:58

第二个always块中为什么不能用非阻塞赋值呢？有什么影响吗？

Verilog三段式状态机描述

相关帖子

浏览过的版块

核心会员奖章

坚毅之洋流

缘定三生

技术奇才奖章

希望之星奖章

技术新星奖章

偶尔光临

技术高手奖章

以坛为家