数字逻辑-有限状态机-售货机例子

1、自动售货机实例分析 7.6.3实例分析 简易自动售货机控制电路售货机售货机控制电路控制电路I n 1 （1 1元）元）I n 0 （5 5角）角）C l k （时钟）（时钟）R e s e t （重置）（重置）D _ o u t ( (提供商品提供商品) )S0S00101/ /0 0 xxxx/ /1 11 1x x/ /0 00000/ /0 00101/ /0 010/00000/ /0 00000/ /0 00101/ /0 00000/ /0 01010/ /0 011/011/0S1S1In / D_outIn / D_out状态分析0 01 1/ /0 01 1x x/ /0 0

2、S0S00101/ /0 0 xxxx/ /1 11 1x x/ /0 00000/ /0 00101/ /0 010/00000/ /0 00000/ /0 00101/ /0 00000/ /0 01010/ /0 011/011/0S1S1S2S2S3S3S4S4In / D_outIn / D_out摩尔型状态机摩尔型状态机状态转换图状态转换图0 01 1/ /0 01 1x x/ /0 0输出与输入无关，只跟当前状态有关S S0 0S S2 2S S3 3S S1 10101 / /0 010 /00 01 1/ /1 10101 / /0 00101 / /0 01 1x x/ /

3、1 10000 / /0 00000 / /0 00000 / /0 00000 / /0 01010 / /0 011 /01111 / /1 1米勒型状态机米勒型状态机状态转换图状态转换图1 1x x/ /1 1输出与输入有关程序实现 状状态态译译码码（下一状态组合逻辑）状状态态寄寄存存输输出出译译码码（输出组合逻辑）时钟输出输入下一状态当前状态resetmodule vend_moore(Reset , Clk , D_in , D_out); always (current_state or D_in) begin / 状态译码 endalways (posedge Clk or po

4、sedge Reset) begin / 状态寄存 endalways (current_state ) / 输出译码 endmodulealways (current_state or D_in) begin / 状态译码 endalways (posedge Clk or posedge Reset) begin / 状态寄存 endalways (current_state ) / 输出译码case(current_state) S0:begin if (D_in1 & D_in0) next_state=S3; else if (D_in1) next_state=S2; else i

5、f (D_in0) next_state=S1; else next_state=S0; end always (current_state or D_in) begin / 状态译码 end根据状态转换图编写代码 S1:begin if (D_in1 & D_in0) next_state=S4; else if (D_in1) next_state=S3; else if(D_in0) next_state=S2; else next_state=S1; endS2:begin always (posedge Clk or posedge Reset) begin / 状态寄存 endalways (posedge Clk or posedge Reset) begin if (Reset) current_state=S0; else current_state=next_state; endalways (current_state ) / 输出译码always (current_state ) D_out= (current_state=S4);endmodule完整代码在教材p374测试分析 通过测试平台进行功能仿真，并与米勒型状态机进行对比