自动售货机设计与验证

本代码是使用verilog语言来实现自动售货机交易的过程，其中进行了五项验证（激励文件）。基本要求：交易开始，用户需要先投入一定量的货币；在外部货币投入后，售货机累计输入货币总值；完成投币后,用户选择所有需要的商品;选择结束后,按下交易键；交易成功，售货机出货、找零，更新系统的存量货币信息和货物信息；交易不成功，退回用户投入货币。