Modelsim仿真流程

1、 Modelsim简介

略。

2、 modelsim仿真流程:modelsim基本的仿真流程包括建立库、建立工程并编译、仿真、调试、但在libero环境中运行modelsim时,软件自动映射库和生成工程文件。其中功能仿真、综合仿真以及后仿真分别映射presynth、postsynth和postlayout库。

      基本流程是:建立工作库→编译源代码→启动仿真→分析、调试。

2.1  建立库并映射

在modelsim中,任何使用VHDL、Verilog HDL、SystemC等语言实现的设计,都被编译到一个库中。

♥方法一:File>New>Library选择新建并映射到该库;

♥方法二:在modelsim>提示符下运行命令vlib work2-建立库,vmap work work2-建立映射库;

2.2  建立工程

Modelsim仿真需要建立自己的工程,同时modelsim还提供了文件夹管理工程的功能。

♥step1:File>New>project,并指定库文件名;

♥step2:新建文件或导入文件;

2.3  编译文件

建立好工程后,使用compile功能对源文件进行编译。Libero环境启动modelsim时,系统执行run.do脚本文件自动编译源文件。

♥鼠标右击文件,选择compile All对所有的工程文件执行编译操作;

♥启动仿真,使用simulation>start simulation>选择design选项卡功能使modelsim进入仿真状态,之后可以运行仿真。在libero环境下,运行modelsim直接从运行仿真这一步骤开始。

♥运行仿真 可以设置仿真时间或选择仿真全部

♥tcl命令: do run.do – 当设计修改后,使用此命令重新导入设计;

Do wave.do-打开波形列表文件,或者向当前波形添加列表;

Restart-复位当前仿真,从0时刻重新仿真;

Run 1ms-运行仿真1ms时间;

Run all-运行全部的仿真;

在libero环境下,可以自己编写脚本文件代替run.do文件,在项目比较大的情况下可以大大简化仿真的操作。※do wave.do添加自己所需要的波形列表;※restart复位当前仿真到0时刻;※文件名要区别于run.do文件;※libero中设置:Project->settings->simulation导入自己编写的.do文件;

2.4  分析数据――wave,wave波形窗口直观方便的观察仿真结果,是最常用窗口之一。可以使用菜单view>wave或者命令view wave打开♥添加信号:※在信号等窗口中右键使用”Add to wave”功能;

※在主窗口中使用add wave命令添加信号;

※在主窗口中使用do<filename>.do命令添加信号列表;

※使用“拖-放”操作,直接从信号、结构等窗口向wave窗口中拖放;

♥快捷操作:※波形放大缩小等操作,放大-键盘“+”,缩小-键盘“-”,全屏-键盘“F”,光标放大-键盘“C”;

※   区域放大,选中的区域全屏显示;

※   使添加光标,可以利用光标时间差计算周期等参数;

※   显示/隐藏信号路径,方便阅读;

♥设置断点:※右击变量,选择‘Insert Breakpoint’;当选中的变量波形值发生变化时,仿真自动暂停。

♥保存/打开列表:※波形列表为.do可执行脚本文件;打开列表可以使用do<filename>.do命令执行;※waveform formats选项保存变量、显示方式及变量相对位置等属性;

♥保存/打开波形:※波形文件为.wlf格式文件,使用File>datasets>saveas来保存波形;※波形文件可用于波形对比的对象,使用File>datasets>open来打开;

♥波形对比:※在AE版本中,只能实现简单的手动对比波形;

※   用File>datasets方式打开波形文件,向wave窗口中添加需要对比的信号;

♥分析数据――list:表格化显示数据,方便通过搜索特殊值或者特定条件的数据,简化分析数据的过程。List窗口可通过菜单View>list,或者命令view list打开。

♥分析数据――source:source窗口具有完全的编辑能力,同时提供分析数据的一些操作。Source窗口可通过双击workspace的总的文件或信号打开。※查看变量值:鼠标停留在变量上面,可显示当前值;※设置断点: source源代码窗口设置条件断点;

♥分析数据――Memories: memory窗口列出工程中存储单元的数据,方便调试存储器的操作。※step1:展开调用RAM单元的模块,并展开至RAM_ROC>STATCONFIG;※step2:objects窗口选择MEM_512_9选择View Memory Contonts;

♥分析数据――watch: watch窗口中可实现监测变量的变化情况,watch窗口可通过菜单view>watch,或者命令view watch打开。Watch窗口中的对象可以以拖拉的方式从object窗口、wave窗口、source窗口中拖拉进来;

♥分析数据――signals:signals窗口显示被选中进程模块的变量、变量值。Signals窗口可通过菜单view>signals,或者命令view signals打开。※排序:支持按字母的升序或降序排列。※拖放操作:可以将信号拖动到wave、list、watch窗口;※过滤器:选择要察看的信号(输入、输出部信号等等)。※对信号右键操作,可查看源代码;

3、 Modelsim高级功能 SE版本支持,AE版本不支持的功能。

3.1   Code Coverage  Modelsim SE版可以统计代码覆盖率。代码覆盖率是指代码的覆盖程度,是一种度量方式。

※语句覆盖(statement Coverage)

※分支覆盖(Branch Coverage)

 

※条件覆盖(Condition Coverage)

※状态机覆盖(FSM Coverage)

※路径覆盖(Path Coverage)

Modelsim SE版本可以测试代码覆盖率,代码覆盖率是测试验证的一个重要指标♥关于测试验证中的一般观点:※覆盖率只代表测试过哪些代码,不代表是否测试好这些代码;※不要过于相信覆盖率数据;※一个稳定的全面的测试仿真要求某些覆盖率尽量100%;※路径覆盖率>判定覆盖>语句覆盖。

♥统计覆盖率操作流程:※step1:设置编译选项,勾选要统计的代码覆盖率类别;※step2:使能代码覆盖率统计功能,启动仿真;※运行仿真,并分析数据;

3.2   Waveform Compare 波形对比能快速定位设计在修改前后的区别,在进行波形对比之前要保存原设计的波形文件,此文件为作为对比文件。※step1:打开波形对比向导设置;tools->waveform compare->comparison wizard;※step2:导入波形文件,作为对比对象;※step3:选择对比信号的范围;※step4:根据信号范围选择需要对比的信号;※step5:分析数据;

3.3   追踪数据流:数据流窗口能够对VHDL信号或者Verilog的线网型变量进行图示化跟踪 ,在界面中驱动信号或驱动线网变量的进程显示在左边,反之被驱动信号显示在右边。可通过双击wave窗口中需要追踪的信号打开dataflow窗口。

※   观察设计的连接性:可以检查设计的物理连接性,可以逐个单元的观察所关注的信号、互联网络或寄存器的输入/输出情况。

※   跟踪事件:跟踪一个非预期的输出事件,使用嵌入波形观察器,可以由一个信号的跳变回溯追踪,查到事件的源头。

※   追踪未知态:未知态在设计中是传递的,用dataflow中Trace>chaseX功能很容易追踪不定态的来源。

※   显示层次结构:可以使用层次化实例显示设计的连通性。

数据流窗口追踪不定态的功能是工程师比较青睐的,在dataflow窗口中使用Trace>ChaseX功能,不断往驱动级追踪不定态传递的源头。

小结

仿真验证在整个项目的过程中有着重要的意义,科学合理的仿真方法和仿真技巧可以达到事半功倍的效果;反之,如果只是一味的理论分析而不会整合利用多种工具的优点特点,可能项目会寸步难行。

做到:※合理仿真系统的每一个模块,缩短系统的设计周期;※完整支持从功能前到布局布线后的仿真功能。

 

(转自:http://blog.eccn.com/space.php?uid=170730&do=blog&id=3950

posted on 2009-12-20 13:04  剑武江南  阅读(1744)  评论(0编辑  收藏  举报