


下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1、仿真的目的:在软件环境下,验证电路的行为和设想中的是否一致。2、仿真的分类:a)功能仿真:在 RTL层进行的仿真,其特点是不考虑构成电路的逻辑和门的时间延迟,着 重考虑电路在理想环境下的行为和设计构想的一致性;b)时序仿真:又称为后仿真,是在电路已经映射到特定的工艺环境后,将电路的路径延迟和门延迟考虑进对电路行为的影响后,来比较电路的行为是否还能够在一定条件下满足设计构想。3、功能仿真的目的:a)设计出能工作的电路:因此功能仿真不是一个孤立的过程,其和综合、时序分析等形成一个反馈工作过程,只有这个过程收敛, 各个环节才有意义。 而孤立的功能仿真通过是没有 意义的,如果在时序分析过程中发现时
2、序不满足需要更改代码,则功能仿真必须从新进行。因此正确的工作流程是:b)代码排错:功能仿真是代码排错的最重要的手段之一。4、modelsim的高级功能:Code Coveragea)代码覆盖率是验证激励是否完备,检验代码质量的一个重要手段。测试激励的代码覆盖 率至少要达到95 %以上,才能基本认为代码在逻辑上是通过质量控制的,才能进入综合步 骤;b)代码覆盖率是保证高质量代码的必要条件,但却不是充分条件。即便代码行覆盖和分支覆盖都能够达到100 %,也不能肯定的说代码已经得到100 %的验证。除非所有的分支覆盖都能够进行组合遍历。c)在大的设计中,如果想通过一个激励就验证完一个设计或者模块是不
3、现实的。一方面是从逻辑功能上很难做到;另外一方面是因为如果在一个激励中包括了各种情况,整个仿真过程的速度会随着计算机内存的消耗而成线性下降,效率低下。d)通常的做法是每一个激励只验证电路功能的某个方面。整个电路的功能验证由数个激励共同完成。在这种验证方法中代码覆盖率更显重要,因为可以通过代码覆盖率来控制激励对功能的覆盖程度。e)modelsim 的Code coverage不但能记录各个激励对代码的行覆盖"和分支覆盖”而且能够将各个激励的覆盖记录进行合并,做到对覆盖率的全面监测。f)演示。在Modelsim中的波形窗口在大的仿真中有如下 如果在仿真完成后想观察其他的信号,b、波形只是
4、简单显示,和代码没有对 c、如果观察的信号太多,由于其是实时全 屏幕的刷新速度也明显减慢。5、Debussy :仿真辅助调试工具:a)看仿真波形无疑是代码排错的主要手段, 缺陷:a、只能显示出在仿真前设置好的信号波形, 唯一的办法就是添加需要观察的信号从新开始仿真。应和关联关系,不能借助波形直观的调试代码;信号显示,在仿真时间较长后,仿真速度明显减慢,b)这些缺点不单 Modelsim有,其他的优秀仿真工具也有,而且历史由来以久,因此很早人 们就提出了 先转储后观察调试”方法,在verilog语言中以$dumpXXX开头的系统函数就是 做波形转储用的。就是先将波形先存在文件中,等仿真结束后在调
5、出来显示观察和调试。c)这种观察功能很多 EDA工具都有,并不足为奇;但 Debussy的独特之处在于,它不但能 显示波形,而且还能非常智能化的将波形中的任何一个变化和引起这个变化的RTL代码联系起来,使代码排错的效率大幅度提高。在原来IC所的一个大型项目中,由于引进了Debussy,使调试效率至少提高了3倍。d)先介绍verilog语言中的转储系统函数。其实转储函数就是一种典型的文件操作函数,最 为常用的为一下几种:i. $dumpfile(“ filename.vcd打开一个文件准备转储波形数据;ii. $dumpall :转储所有信号的波形数据;iii. $dumpvars :转储层次信
6、号;iv. $dumpon :开始转储;v. $dumooff :停止转储;e)演示Modelsim 转储功能f)演示Debussy工具中的辅助调试功能;6、SDF反标注 a) SDF是一种标准延时格式文件,用于记录综合布线后电路的线延迟和门延迟信息。如果 在仿真输出的波形上叠加上这些信息,将使波形更接近实际。b)演示。c)但是由于电路已经被综合布线过,原来的RTL代码的逻辑层次和代码命名都已经发生变化,即便看到波形也很难直接对应到RTL代码上,因此后仿真来确定电路是否符合要求的方法已经逐渐被新的方法所代替。另外还有后仿真速度缓慢也是一个主要原因。新的方法是: 时序分析、静态时序分析、形式验证
7、。7、一个重要的观念:电路的性能取决于电路构思和Codi ng Style :a)经常有人说不要用写软件的方法去写硬件”,或者说要用朴实无华的语言风格来写代码这些说法只是描述了事务的表明现象,并没有真正指出问题的真正症结所在;b)RTL描述语言,虽然是一种语言,但它是描述RTL的语言,所以其着眼点是电路实现而非逻辑推理;RTL就是电路在寄存器层的一种表现,虽然已经不像门级那样具体,但也没有抽象到逻辑层。c)因此写代码的真正正确的方法是:在大脑中构思出电路的结构,然后用代码把它点滴不漏的表现出来,而不是先写一些只是逻辑上行得通的代码等待工具帮你综合成能实现的电路。工具永远只能做繁重而低级的工作,至少要比人的工作低级,这是未来几百年内不会改变的公理。因此如果你的电路性能不好,说明你对如何实现电路还没有清晰的思路。d)不要只使像通过
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 保利置业装修合同范本
- 钢厂废料卸货合同范本
- 宁夏艺术职业学院《专业外语粉体建材》2023-2024学年第二学期期末试卷
- 池州市重点中学2025届9校联考初三英语试题含答案
- 广西生态工程职业技术学院《量子力学概论》2023-2024学年第一学期期末试卷
- 皖西学院《传感器技术与应用》2023-2024学年第二学期期末试卷
- 合肥职业技术学院《城市生态学》2023-2024学年第一学期期末试卷
- 广西玉林市陆川中学2025届高三化学试题2月份考试卷含解析
- 2025年河北省石家庄二中高三第一次质量调研(一模)物理试题含解析
- 甘肃省镇原县第二中学2025届高考生物试题原创模拟卷(三)含解析
- 大学生职业发展与就业指导(仁能达教育科技公司)学习通测试及答案
- 2025年境外投资融资顾问服务合同范本3篇
- 2024-2025学年人教新目标英语八年级下册期末综合检测卷(含答案)
- 331金属晶体课件高二化学人教版选择性必修2
- 矿山矿石采购合同模板
- 2024年浪潮数字企业技术有限公司社会招聘(105人)笔试核心备考题库及答案解析
- 第47届世界技能大赛江苏省选拔赛竞赛技术文件-混凝土建筑项目
- 国开2024年《数据库运维》形考1-3
- 劳动合同(模版)4篇
- 137案例黑色三分钟生死一瞬间事故案例文字版
- 药物研发监管的国际协调
评论
0/150
提交评论