三段式状态机
下图分别为时钟同步的Moore状态机(左)和时钟同步的Mearly状态机(右),二者都由产生下一状态的组合逻辑、当前状态寄存器和产生输出的组合逻辑三个部分组成。
三段式状态机正如其名字一样,每个部分采用一个always过程块进行描述,可以清晰地显示出状态机的结构。
在调试多输出状态机时,还可以根据输出的数量把产生输出的组合逻辑按输出写成彼此独立的always组合块,以方便调试,在设计复杂的多输出状态机时推荐采用这种风格。
别人的总结:
- 使用三段式状态机需要声明内部信号,一般需要定义state和nextstate;
- 三个always语句块分别代表:
- 当前状态转换到下一状态的时序逻辑;
- 在当前状态在当前输出下转换为下一状态的组合逻辑;
- 当前状态(和当前输入)产生当前输出的组合逻辑;
样例:
下图为样例的状态转移图,并使用三段式状态机对其进行描述。由于该状态机包含两个输出G、F,所以代码中包含两个输出组合逻辑。
// 三段式状态机
module fsm_mult_out( output reg K2, K1, input clk, Reset, A ); reg [1:0] state, nextstate;
parameter Idle = 2'b00,
Start = 2'b01,
Stop = 2'b10,
Clear = 2'b11;
// -----------------当前状态寄存器-------------------------
always @(posedge clk) // 为什么这里要用非阻塞赋值,后面用阻塞赋值? if(!Reset) state <= Idle; else state <= nextstate; // ----------------产生下一状态的组合逻辑-------------------- always @(state, A) case(state) Idle: if(A) nextstate = Start; else nextstate = state; Start: if(!A) nextstate = Stop; else nextstate = state; Stop: if(A) nextstate = Clear; else nextstate = state; Clear: if(!A) nextstate = Idle; else nextstate = Clear; default: nextstate = 2'bxx;
endcase
// --------------产生输出的组合逻辑--------------------------
// assignment for K1
always @(state, Reset, A) if(!Reset) K1 = 0; else
if(state==Clear && !A) K1 = 1; else K1 = 0; // assginment for K2
always @(state, Reset, A) if(!Reset) K2 = 0; else
if(state==Stop && A) K2 = 1; else K2 = 0; endmodule
相应的testbench
// testbench
module t_fsm(); reg a; reg clk, rst; wire k1, k2; // reg [1:0] state;
fsm_mult_out m(.K2(k2), .K1(k1), .A(a), .clk(clk), .Reset(rst)); initial
begin
// state = 2'b00;
a = 0; rst = 1; clk = 0; #22 rst = 0; #133 rst = 1; end
always #50 clk = ~clk; always @(posedge clk) begin #30 a = {$random}%2; #(3*50 + 12); end
initial
begin #100000 $stop; end
endmodule
今天的文章三段式 状态机_异步清零和同步清零有何不同分享到此就结束了,感谢您的阅读,如果确实帮到您,您可以动动手指转发给其他人。
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/53719.html