




已阅读5页,还剩45页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第6讲Verilog设计验证及简单组合逻辑电路设计,授课教师:邹兴平电邮地址:zou_xingping,2019/11/25,2,一、verilog设计的仿真验证占据整个设计的6070%的工作量,需要很高的代码覆盖率,并不比设计可综合代码简单,2019/11/25,3,测试平台的组成,激励信号,需要验证的设计,激励信号和用于验证的结果数据,需要验证的设计,简单的测试平台,复杂的测试平台,2019/11/25,4,模块的测试,测试模块常见的形式:modulet;reg;/被测模块输入/输出变量类型定义wire;/被测模块输入/输出变量类型定义initialbegin;end/产生测试信号always#delaybegin;end/产生测试信号Testedmdm(.in1(ina),.in2(inb),.out1(outa),.out2(outb);/被测模块的实例引用initialbegin.;.;.end/记录输出和响应endmodule,2019/11/25,5,模块的测试,测试模块中常用的过程块:,always,所有的过程块都在0时刻同时启动;它们是并行的,在模块中不分前后。initial块只执行一次。always块只要符合触发条件可以循环执行。,2019/11/25,6,模块的测试,如何描述激励信号:modulet;rega,b,sel;wireout;/引用多路器实例mux2_m(out,a,b,sel);/加入激励信号initialbegina=0;b=1;sel=0;#10b=0;#10b=1;sel=1;#10a=1;#10$stop;end,2019/11/25,7,并行块,在测试块中常用到forkjoin块。用并行块能表示以同一个时间起点算起的多个事件的运行,并行地执行复杂的过程结构,如循环或任务。举例说明如下:moduleinline_tb;reg7:0data_bus;initialforkdata_bus=8b00;#10data_bus=8h45;#20repeat(10)#10data_bus=data_bus+1;#25repeat(5)#20data_bus=data_busb)beginAgb=1;asb=0;aeb=0;endelseif(ab)beginAgb=0;asb=1;aeb=0;end,2019/11/25,32,ElseBeginAgb=bx;asb=bx;aeb=bx;endend,2019/11/25,33,5.编码器,Always*BeginCase(din)8b0000_0001:dout=3b000;8b0000_0010:dout=3b001;8b0000_0100:dout=3b010;8b0000_1000:dout=3b011;8b0001_0000:dout=3b100;8b0010_0000:dout=3b101;8b0100_0000:dout=3b110;8b1000_0000:dout=3b111;Endcaseend,8线3线编码器,2019/11/25,34,Always(din)BeginIf(din7=1)dout=3b111;elseIf(din6=1)dout=3b110;elseIf(din5=1)dout=3b101;elseIf(din4=1)dout=3b100;elseIf(din3=1)dout=3b011;elseIf(din2=1)dout=3b010;elseIf(din1=1)dout=3b001;elseIf(din0=1)dout=3b000;elsedout=3bx;end,8-3线优先级编码器,2019/11/25,35,6.译码器,Always*BeginCase(din)3b000:dout=8b0000_0001;3b001:dout=8h02;3b010:dout=8h04;3b011:dout=8h08;3b100:dout=8h10;3b101:dout=8h20;3b110:dout=8h40;3b111:dout=8h80;default:dout=8h00;Endcaseend,3-8译码器,2019/11/25,36,7、移位寄存器,Always(posedgeclkorposedgerst)if(rst)reg_out=3b000;Elsecase(mod)2b00:reg_out=reg_out1:0,right_in;/左移reg_out=reg_out2:1,left_in;/右移reg_out=reg_out1:0,parallel_in;/并行入endcase,通用移位寄存器,2019/11/25,37,参数化的桶行移位器,Modulebarrelshift(din,rotate_cnt,dout);ParameterWIDTH=6;ParameterCNT_SIZE=3;InputCNT_SIZE-1:0rotate_cntlInputWIDTH-1:0din;outputWIDTH-1:0dout;WireWIDTH-1:0temp;Assigndout,temp=din,dinrotate_cnt;endmodule,实现循环左移,2019/11/25,38,说明,Assigndout,temp=din,dinB-1/B进制,0,其他,1,如果x(i)+y(i)=B-1/B进制,0,其他,q(i),如果p(i)=1/B进制,g(i),其他,2019/11/25,44,源码见carry_chain_adder.v,2019/11/25,45,2019/11/25,46,流水线加法器,FPGA系统设计的三种思想乒乓球设计、串并变换、流水线核心思想:面积速度互换:占用的资源与系统频率流水线的思路如果电路采用并行算法还达不到要求,一般要考虑流水线结构,2019/11/25,47,2019/11/25,48,流水线技术,是一种将每个操作分解为多步,并让各步操作重叠,从而实现快速并行处理的技术;电路仍是一步步执行,但可以在上一操作没有完成前,可以重新开始执行新操作的前一步,从而可加快程序的运行速
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 考点解析-华东师大版7年级下册期末试题附答案详解(基础题)
- 2025年生态修复工程生态系统服务功能评估与生态修复工程环境监测技术挑战报告
- 有用的企业面试题库【基础题】附答案详解
- 解析卷-北京市西城区育才学校7年级数学下册变量之间的关系专项练习试题(含解析)
- 2025年工业互联网平台计算机视觉在电子元件制造缺陷检测的应用前景报告
- 解析卷青岛版8年级数学下册期末试题及参考答案详解(B卷)
- 2025年度夜间经济特色摊位租赁协议范本下载
- 2025版大型超市蔬菜批发供应合同
- 2025版私人合伙旅游度假合作协议书范本
- 2025版房地产项目投资担保合同
- 义齿工厂开设策划方案
- (完整版)中医适宜技术课件
- 患者隐私保护培训课件1
- 中国老年危重患者营养支持治疗指南(2023版)解读
- 自媒体运营计划
- 健康照护师(初级)理论知识考核试题
- 愚公移山英文 -中国故事英文版课件
- 文明施工扬尘治理专项方案
- PPT-轨道交通建设工程监测技术
- DB41T2455-2023低温雨雪冰冻灾害气象等级
- 中医院科研工作管理核心制度汇总
评论
0/150
提交评论