版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、设计部分设计部分功能描述功能描述顺序播放功能:将所有歌曲顺序播放一遍。顺序播放功能:将所有歌曲顺序播放一遍。单曲循环播放功能:对指定的歌曲进行循环播放。单曲循环播放功能:对指定的歌曲进行循环播放。循环播放功能:所有歌曲顺序循环播放。循环播放功能:所有歌曲顺序循环播放。随机播放功能:随机选择歌曲进行播放。随机播放功能:随机选择歌曲进行播放。快进功能:对音乐进行快速播放。快进功能:对音乐进行快速播放。暂停功能:对播放中音乐进行暂停。暂停功能:对播放中音乐进行暂停。歌曲选择功能:选择播放哪首音乐。歌曲选择功能:选择播放哪首音乐。回放功能:可以对歌曲进行上一句或上一首的回放。(带记忆功能)回放功能:可
2、以对歌曲进行上一句或上一首的回放。(带记忆功能)快倒功能:可以对歌曲进行向后倒一段时间在播放。快倒功能:可以对歌曲进行向后倒一段时间在播放。I/OI/O端口优化:最少端口实现以上功能。端口优化:最少端口实现以上功能。歌曲自动加载刷新功能:歌曲自动加载刷新功能:( (暂未实现暂未实现) )。第1页/共30页顶层模块顶层模块信号描述信号描述信号信号I/O宽度宽度 功能描述功能描述rstI1全局异步复位信号(高电平有效)全局异步复位信号(高电平有效)clk2mhzI12MHz时钟信号时钟信号fastI1快速播放信号输入端(高电平有效)快速播放信号输入端(高电平有效)switchI1歌曲模式选择信号(
3、歌曲模式选择信号(switch为低电平为低电平“0”选择选择“曲目曲目”,高电平,高电平“1”选择选择“句子句子”)autoI1自动播放信号(自动播放信号(auto高电平时按顺序循环播放全部歌曲,在高电平时按顺序循环播放全部歌曲,在auto信号为信号为低电时低电时,根据根据switch和和mode信号选择相应歌曲模式播放)信号选择相应歌曲模式播放)haltI1暂停信号(高电平有效)暂停信号(高电平有效)spksO1音频信号输出(上升沿触发)音频信号输出(上升沿触发)passedI1上一句或者上一首跳转信号(上升沿触发)上一句或者上一首跳转信号(上升沿触发)modeI2模式选择信号模式选择信号“
4、00”顺序播放顺序播放 “01”随机播放随机播放 “10”单曲循环单曲循环“11”快进跳转快进跳转沿触发有效沿触发有效第2页/共30页顶层模块顶层模块整体框图第3页/共30页顶层模块顶层模块具体信号具体信号第4页/共30页模块关联模块关联内部框图第5页/共30页 ADDR ADDR模块模块 信号信号I/OI/O宽度宽度功能描述功能描述clkI I1节拍发生节拍发生器产生的器产生的4Hz或或8hz时钟信号时钟信号 EnI I1使能端使能端LdI I1置数端置数端RstI I1异步复位异步复位信号(高信号(高电平有效电平有效) Data_inI I9数据输入数据输入Addr_outO O9数据输出
5、数据输出功能描述功能描述:它的功能是按照音乐节拍输出相应音符。在正常播放模式下,该计数器的时钟频率为2Hz,快速播放模式为4Hz。当EN为高电平时,LD为低电平时,每来一个时钟上升沿,地址计数器加1,输出给乐曲数据存储器ROM 。第6页/共30页ROMROM模块信号信号I/OI/O宽度宽度功能描述功能描述addraddrI I9 9当前音符在当前音符在ROMROM中中的地址的地址doutdoutO O5 5ROMROM输出的音符数输出的音符数据与据与indexindex端口端口相连接相连接功能描述:功能描述:ROM中存储的乐谱数据,以1/4拍来转化,ROM总共要存储437个数据,所以ROM的地
6、址位宽为9位。因为乐谱只用到21个音符,所以ROM的输出为5位。第7页/共30页 RANDOM RANDOM模块 信号信号I/OI/O宽度宽度功能描述功能描述clkI I1节拍发生节拍发生器产生的器产生的4Hz或或8hz时钟信号时钟信号RstI I1异步复位异步复位信号(高信号(高电平有效电平有效)RandomO O3输出随机输出随机数数功能描述功能描述:产生随机数传给状态机,由状态机决定播放第几首歌。第8页/共30页 音符解码模块音符解码模块 音频解码模块音频解码模块所示为音频解码模块,它的功能是将所示为音频解码模块,它的功能是将ROM输出输出的音符数据转换成该音符所对应的初始值,输出的音符
7、数据转换成该音符所对应的初始值,输出给数控分频模块,数控分频模块根据该初始值对给数控分频模块,数控分频模块根据该初始值对2MHz2MHz时钟进行分频。时钟进行分频。表表6 音频解码端口信号描述音频解码端口信号描述信号信号I/OI/O宽度宽度功能描述功能描述indexindexI I4 4ROMROM输出的音符数输出的音符数据据tonetoneO O1313音符所对应的初音符所对应的初始值始值第9页/共30页信号I/O宽度 功能描述toneI13音符所对应的初始值音符所对应的初始值clk2mhzI12mhz信号enoI1使能信号haltI1暂停信号rstI1全局异步复位信号(全局异步复位信号(高
8、电平有效)高电平有效)spksO1将信号放大发声数控分频模块数控分频模块数控分频模块数控分频模块所示为数控分频模块,它的功能是根据不同音符的初始值对所示为数控分频模块,它的功能是根据不同音符的初始值对2MHz2MHz的时钟进行相应的的时钟进行相应的分频,产生该音符所对应频率的波形。分频后所得波形由分频,产生该音符所对应频率的波形。分频后所得波形由spks端口输出。数控分频端口输出。数控分频模块由主分频模块和二分频模块组成。模块由主分频模块和二分频模块组成。第10页/共30页memomemo记忆模块记忆模块 memo记忆模块记忆模块信号信号I/OI/O宽度宽度功能描述功能描述rstrstI I1
9、 1全局异步复位信全局异步复位信号(高电平有效号(高电平有效)ClkClkI I1 1节拍发生器产生节拍发生器产生的的4Hz4Hz或或8hz8hz时钟时钟信号信号addraddrI I9 9快进信号(高电快进信号(高电平有效)平有效)cnumcnumO O2 2记录当前曲目编记录当前曲目编码码pnumpnum0 02 2记录过去曲目编记录过去曲目编码码 memo记忆模块的作用是记忆记忆模块的作用是记忆当前播放地址。比如在顺序播放当前播放地址。比如在顺序播放模式下第一首歌曲到第二首歌曲,模式下第一首歌曲到第二首歌曲,passed信号在播放第二首歌曲有效,信号在播放第二首歌曲有效,歌曲播放第一首首
10、地址。在随机歌曲播放第一首首地址。在随机播放模式下,第一首歌曲随机播播放模式下,第一首歌曲随机播放到第三首歌曲,放到第三首歌曲,passed信号于第信号于第三首歌曲有效,歌曲播放第一首三首歌曲有效,歌曲播放第一首首地址。同理上一曲模式。首地址。同理上一曲模式。第11页/共30页验证规划验证规划通过提取项目中可能发生的各种情况来验证项目的正确性。通过提取项目中可能发生的各种情况来验证项目的正确性。第12页/共30页模式间跳转验证模式间跳转验证单曲循环模式,如图单曲循环模式,如图:正在进行模式间的转换,如图正在进行模式间的转换,如图:第13页/共30页模式间跳转验证模式间跳转验证由单曲循环跳转到了
11、顺序播放模式由单曲循环跳转到了顺序播放模式。第14页/共30页典型验证典型验证 1.上一句功能连跳测试 2.验证单曲循环下的各种模块功能(上一曲) 3.随机播放模式下暂停信号测试 4.第一首未放完进行上一首功能测试第15页/共30页连跳测试连续给passed1信号有效,测试如下Atuo=1时,switch=1,passed=1 1000ns1100ns有效Passed1在1000ns时歌曲跳到上一句,随后100ns再次有效,歌曲跳到当前上一句,实现连跳功能。连跳测试连跳测试第16页/共30页Atuo=0,mode=00,播放到第3首是mode=10,第3首歌循环。Passed1=1,第三首到第
12、二首。单曲循环模块功能单曲循环模块功能第17页/共30页随机模式暂停信号随机模式暂停信号 Atuo=0,mode=01,passed1=1时,因为是随机模式,从第三首歌跳到第一首。第18页/共30页随机模式暂停信号随机模式暂停信号随机模式暂停信号有效随机模式暂停信号有效第19页/共30页第一首未放完进行上一首功能测试第一首未放完进行上一首功能测试 Atuo=1时,将paseed1信号于第一首播放中加入,跳到第一首歌曲首地址,上一首功能实现第20页/共30页状态转换图状态转换图第21页/共30页状态机断言状态机断言define assert_clk( arg ) assert property
13、(posedge clk) disable iff (rst) arg ) a_fsm_asyn_rst: assert property (posedge clk) rst |- (state = Idle);a_fsm_state_coding:assert_clk($onehot0(state) =1);a_fsm_norm_trans1:assert_clk(state = S0) |= (state = S1);a_fsm_norm_trans2:assert_clk(state = S2)|(state = S3) |- ($past(state = S1) = 1);a_fsm_
14、norm_trans3:assert_clk(state = S2)|(state = S3) |= (state = S0);a_fsm_norm_trans4:assert_clk(state = S1)&$rose(accl) |- #1 state = S2 #1 state = S0 #1 state = S1 );a_fsm_norm_trans5:assert_clk(state = S1)&$rose(passed) |- #1 state = S3 #1 state = S0 #1 state = S1 );a_fsm_forbid_trans1:assert
15、_clk($stable(rst) & (state = Idle) |- ($past(state = S0) =0) & ($past(state = S2) =0) & ($past(state = S3) =0);第22页/共30页状态机断言状态机断言第23页/共30页状态机局部断言例一状态机局部断言例一局部trans2断言:正常状态下,当前状态是S2(0100)快倒状态,或者S3(1000)回放状态,上一个状态一定是S1(0010)播放状态。第24页/共30页状态机局部断言例二状态机局部断言例二局部trans4断言:当快倒信号有效时(mode=2b11),状态会从播放状态(S1)跳到快到状态(S2)再到置数状态(S0)再回播放状态(S1),如图0010-0100-0001-0010。第25页/共30页随机断言随机断言第26页/共30页地址计数器断言地址计数器断言第27页/共30页Rom表断言表断言第28页/
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年消防安全教育全套
- 太阳能发电系统技术要领
- 2026年糖尿病规范化诊疗指南解读及临床应用课件
- 2026年食疗艾灸养生保健养肤课件
- 2026年社区安全巡逻技巧
- 新生儿洗澡与脐带护理
- DB11-T 1296-2021 体育场馆能源消耗定额
- 年产6000万支轴芯项目可行性研究报告模板-立项备案
- 护理风险法律法规解读
- 电力公司电力设备检修制度
- 脱硫石膏处置协议书
- 景观照明设施运行维护经费估算
- 民宿酒店宣传包含内容课件
- SH/T 3078-2024 立式圆筒形料仓工程设计规范(正式版)
- 小儿隐匿性阴茎手术
- 2024北京西城区高三一模语文试题及答案
- 航天禁(限)用工艺目录(2021版)-发文稿(公开)
- 动物的呼吸和氧气运输
- 醛-亚胺-壳聚糖水凝胶的构筑及性能研究进展
- 高一下学期物理教学工作计划集合5篇
- 2024年上海市第二十七届初中物理竞赛初赛试题及答案
评论
0/150
提交评论