用Quartus和Modelsim手把手教你：一个FPGA自动售货机的完整状态机设计（附Verilog代码）

从零构建FPGA自动售货机状态机设计与Verilog实战指南1. 项目概述与设计思路想象一下你正站在一台自动售货机前准备购买一瓶饮料。这个看似简单的交互过程背后隐藏着一套精密的状态控制系统。今天我们将用FPGA和Verilog HDL来重现这一机制打造一个数字化的自动售货机核心逻辑。这个项目特别适合已经掌握Verilog基础语法想要通过完整项目提升实战能力的学习者。我们将采用**有限状态机(FSM)**作为核心架构这是数字逻辑设计中最经典的模式之一。整个系统将包含五个主要状态IDLE待机状态显示商品价格PICK商品选择状态BUY投币计算状态ZL找零状态CH出货完成状态为了增强实用性我们还实现了以下功能细节数码管动态显示商品价格、投币金额、找零信息LED流水灯出货指示按键消抖处理实际工程中需额外模块状态超时自动复位机制2. 开发环境准备2.1 软件工具安装开始前请确保已安装以下开发工具Quartus Prime Lite EditionIntel官方FPGA开发套件ModelSim-Intel FPGA Starter Edition仿真验证工具文本编辑器VS Code推荐或其它支持Verilog的编辑器提示所有工具均可从Intel官网免费下载安装时注意勾选器件支持包如Cyclone IV系列2.2 新建Quartus工程启动Quartus选择File → New Project Wizard设置工程路径和名称如vending_machine选择目标器件型号示例使用EP4CE6E22C8添加新Verilog文件File → New → Verilog HDL File// 工程顶层模块框架 module vending_machine( input clk, // 50MHz时钟 input rst_n, // 低电平复位 input [2:0] key, // 按键输入 output [5:0] seg_sel, // 数码管位选 output [7:0] seg_data, // 数码管段选 output [3:0] led // 状态指示灯 ); // 主逻辑将在这里实现 endmodule3. 状态机详细设计与实现3.1 状态编码与转换逻辑我们采用独热码One-Hot编码方式定义五个状态这种方式在FPGA中实现效率较高localparam IDLE 5b00001, PICK 5b00010, BUY 5b00100, ZL 5b01000, CH 5b10000; reg [4:0] current_state, next_state;状态转换由以下条件触发当前状态转换条件下一状态IDLE按下选择键(key[0])PICKPICK按下确认键(key[0])BUYBUY投币金额≥商品金额ZLBUY投币金额商品金额CHZL找零显示超时(2秒)CHCH出货完成超时(2秒)IDLE3.2 核心状态机实现状态机的Verilog实现采用经典的三段式写法// 第一段状态寄存器 always (posedge clk or negedge rst_n) begin if(!rst_n) current_state IDLE; else current_state next_state; end // 第二段状态转移逻辑 always (*) begin case(current_state) IDLE: next_state key[0] ? PICK : IDLE; PICK: next_state key[0] ? BUY : PICK; BUY: next_state (pay_sum total) ? ZL : ((pay_sum total) ? CH : BUY); ZL: next_state (timer_2s) ? CH : ZL; CH: next_state (timer_2s) ? IDLE : CH; default: next_state IDLE; endcase end // 第三段状态输出逻辑 always (posedge clk) begin case(current_state) IDLE: begin seg_data {A_price, B_price, C_price}; led 4b0000; end // 其他状态输出... endcase end4. 关键功能模块实现4.1 商品选择逻辑在PICK状态下用户可以通过按键选择商品和数量reg [1:0] item_select; // 当前选择商品 reg [3:0] item_count; // 选择数量 always (posedge clk or negedge rst_n) begin if(!rst_n) begin item_select 2b00; item_count 4d1; end else if(current_state PICK) begin if(key[1]) // 切换商品 item_select item_select 1; if(key[2]) // 增加数量 item_count (item_count 9) ? 1 : item_count 1; end end4.2 投币与金额计算投币系统支持两种面额1元和5元并实时计算总额reg [7:0] pay_sum; // 已投币金额 wire [7:0] total; // 商品总价 wire [7:0] change; // 找零金额 // 商品价格定义 parameter A_PRICE 3, B_PRICE 5, C_PRICE 1; // 总价计算 assign total (item_select 2b00) ? A_PRICE * item_count : (item_select 2b01) ? B_PRICE * item_count : C_PRICE * item_count; // 投币处理 always (posedge clk or negedge rst_n) begin if(!rst_n) pay_sum 8d0; else if(current_state BUY) begin if(key[1]) pay_sum pay_sum 1; // 投1元 if(key[2]) pay_sum pay_sum 5; // 投5元 end else if(current_state IDLE) pay_sum 8d0; end // 找零计算 assign change pay_sum - total;5. 显示与用户反馈设计5.1 数码管动态显示数码管需要显示不同状态下的信息reg [23:0] seg_data; // 6位数码管数据 always (*) begin case(current_state) IDLE: seg_data {8hA3, 8hB5, 8hC1}; // 显示A3 B5 C1 PICK: seg_data {8hA0item_select, 8h00, item_count}; BUY: seg_data {total/10, total%10, pay_sum/10, pay_sum%10}; ZL: seg_data {8hFF, 8hFF, change/10, change%10}; CH: seg_data {8hFF, 8hFF, 8hFF, 8hFF}; // 全亮 endcase end5.2 LED出货指示出货时通过LED流水灯效果增强交互体验reg [3:0] led; reg [24:0] led_timer; always (posedge clk or negedge rst_n) begin if(!rst_n) begin led 4b0000; led_timer 0; end else if(current_state CH) begin if(led_timer 25_000_000) begin // 0.5秒间隔 led_timer 0; led {led[2:0], led[3]}; // 循环左移 end else led_timer led_timer 1; end else led 4b0000; end6. 仿真验证与调试技巧6.1 测试平台搭建使用ModelSim进行功能仿真timescale 1ns/1ps module tb_vending_machine(); reg clk, rst_n; reg [2:0] key; wire [5:0] seg_sel; wire [7:0] seg_data; wire [3:0] led; // 实例化被测模块 vending_machine uut( .clk(clk), .rst_n(rst_n), .key(key), .seg_sel(seg_sel), .seg_data(seg_data), .led(led) ); // 时钟生成50MHz always #10 clk ~clk; initial begin // 初始化 clk 0; rst_n 0; key 0; #100 rst_n 1; // 测试场景1购买1件A商品 #100 key[0] 1; #20 key[0] 0; // 进入选择状态 #100 key[2] 1; #20 key[2] 0; // 选择数量1 #100 key[0] 1; #20 key[0] 0; // 确认选择 #100 key[1] 1; #20 key[1] 0; // 投1元 #100 key[1] 1; #20 key[1] 0; // 投1元 #100 key[1] 1; #20 key[1] 0; // 投1元共3元 // 等待状态机完成流程 #2000; $stop; end endmodule6.2 常见问题排查在实际开发中可能会遇到以下典型问题状态机卡死检查所有状态转换条件是否完备确保没有形成不可跳出的状态循环添加超时复位机制作为容错显示异常验证数码管扫描频率建议1kHz左右检查段码和位选信号的同步性确认消隐处理避免鬼影按键抖动实际硬件需添加消抖模块软件或硬件采样间隔建议10-20ms采用状态机实现可靠的边沿检测// 简易按键消抖示例 reg [19:0] debounce_cnt; reg key_stable; always (posedge clk) begin if(key ! key_stable) debounce_cnt 0; else if(debounce_cnt 1_000_000) // 20ms50MHz debounce_cnt debounce_cnt 1; else key_stable key; end7. 项目优化与扩展方向完成基础功能后可以考虑以下增强功能多商品支持扩展状态机处理更多商品类型增加库存管理逻辑支付方式扩展集成NFC/RFID模块添加二维码支付接口网络监控通过UART上传销售数据实现远程库存预警用户界面增强添加LCD显示屏设计更丰富的交互动画实际部署时建议将状态机控制模块与底层硬件驱动如数码管扫描、按键检测分离采用层次化设计提高代码可维护性。例如顶层架构 ├── 状态机控制器FSM ├── 显示驱动模块 │ ├── 数码管扫描 │ └── LED控制 ├── 输入处理模块 │ ├── 按键消抖 │ └── 边沿检测 └── 外设接口模块 ├── UART通信 └── 支付接口