资源描述：
《自动投币售货机的控制系统设计verilog》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、工学院二级项目报告二级项目题目：自动投币售货机的控制系统设计指导教师：系别：电子工程系专业：通信工程第16页共16页完成时间：2017年9月目录1.项目内容与要求22.画出投币售货机的控制系统的状态表，状态图，和状态编码方式33.用Verilog实现售货机的控制系统描述，并进行仿真43.1time.v43.2state.v53.3仿真64.用C/C++语言实现售货机的有限状态机，并进行测试和仿真74.1gcov代码74.2仿真9第16页共16页1.项目内容与要求投币售货机的接收中国的硬币1元和5角，当售货机收到1.5元时出货，无法找零。（1.5元可以是
2、3个5角，或是1个1元和1个5角）项目以仿真形式完成。1.画出投币售货机的控制系统的状态表，状态图，和状态编码方式。2.用Verilog实现售货机的控制系统描述，并进行仿真。要求仿真测试中给出CodeCoverage数据，CodeCoverage概念可见PDF文档。3.用C/C++语言实现售货机的有限状态机，并进行测试和仿真。同样要求有测试的CodeCoverage数据，具体的工具可用gcc自带的gcov或者是VC的coverage工具4.秋季学期开学前，每个小组需提交一份项目的报告，并作PPT陈述。第16页共16页2.画出投币售货机的控制系统的状态表
3、，状态图，和状态编码方式第16页共16页2.用Verilog实现售货机的控制系统描述，并进行仿真1233.1time.v`timescale1ns/1nsmoduletimes;regT;regclk;regreset;wireA;wireP;stateFSM(T,reset,clk,A,P);第16页共16页initialbeginreset=0;clk=0;#80reset=1;#20$stop;endalways#10clk=~clk;initialbeginT=1;#20;T=1;#20;T=0;#20;reset=~reset;T=1;#20
4、T=0;#20;end第16页共16页stateuut(.reset(reset),.clk(clk),.T(T),.A(A),.P(P));endmodule1.1state.vmodulestate(T,clk,reset,A,P);inputT,clk,reset;outputA,P;regA,P;reg[2:0]y,Y;parameter[2:0]start=2'b000,half=2'b001,one=2'b010,reject=2'b011,paid=2'b100;always@(negedgeresetorposedgeclk)if(re
5、set==0)y<=start;第16页共16页elsey<=Y;//Definethenextstatealways@(Tory)beginY=3'b000;A=0;P=0;case(y)start:beginif(T)Y=one;elseif(!T)Y=half;A=1;P=0;endhalf:beginif(T)Y=paid;elseif(!T)Y=one;A=1;P=0;endone:beginif(T)Y=reject;elseif(!T)Y=paid;第16页共16页A=1;P=0;endreject:beginif(T)Y=reject;
6、elseif(!T)Y=paid;A=0;P=0;endpaid:beginif(T)Y=one;elseif(!T)Y=half;A=1;P=1;endendcaseendendmodule第16页共16页1.1仿真第16页共16页2.用C/C++语言实现售货机的有限状态机，并进行测试和仿真11.1gcov代码-:0:Source:fsm.c-:0:Graph:fsm.gcno-:0:Data:fsm.gcda-:0:Runs:10-:0:Programs:1第16页共16页-:1:#include-:2:-:3:typedefen
7、um//定义状态-:4:{-:5:START,//初始-:6:STATE1,//收入0.5RMB-:7:STATE2,//收入1.0RMB-:8:REJECT,//找零-:9:PAID,//出货-:10:}STATE;-:11:10:12:intmain()-:13:{10:14:intinput=0;10:15:intinput0=0;//投入零钱不符合要求时，用于保存原有数据10:16:inta=1;-:17:10:18:STATEcurrent_state=START;-:19:116:20:while(a<=1)-:21:{-:22:第16页共
8、16页96:23:switch(current_state)//状态转换情况-:24:{-:2
