什么是Modelsim的功能仿真和时序仿真？

MrL1

功能仿真又叫逻辑仿真，是指在不考虑器件延时和布线延时的理想情况下对源代码进行逻辑功能的验证；而时序仿真是在布局布线后进行，它与特定的器件有关，又包含了器件和布线的延时信息，主要验证程序在目标器件中的时序关系。在有些开发环境中，如 Xilinx ISE 中，除了上述的两种基本仿真外，还包括综合后仿真，转换（post-translate）仿真，映射后（post-map）仿真等，这样做完每一步都可进行仿真验证，从而保证设计的正确性。
0 |5 m( R9 \: i8 x; |
' b$ Q& _% l& P. x6 c0 Z# OModelSim 是mentor Graphics 子公司MentorTechnology 的产品，是当今最通用的FPGA 仿真器之一。ModelSim 功能强大，它支持FPGA 设计的各个阶段的仿真，不仅支持VHDL 仿真，Verilog仿真，而且支持VHDL 和Verilog 混合仿真。它不仅能做仿真，还能够对程序进行调试，测试代码覆盖率，对波形进行比较等。ModelSim 有很多版本，像ModelSim/SE 是首要版本， 除此之外还有ModelSim/XE 和ModelSim/AE，分别是为Xilinx公司和Altera 公司提供的OEM 版，其中已包含各公司的库文件，故用特定公司OEM 版进行仿真时就不需编译该公司的库了。

6 L4 E( `/ }8 N9 z! E; i用ModelSim 进行功能仿真 　
% b1 l( N, W4 k( w- V# Q' d  i
进行功能仿真首先要检查设计的语法是否正确；其次检查代码是否达到设计的功能要求。下文主要介绍仿真步骤和测试激励的加载。

; [! X- Q+ E9 b; T2 E) `4 G6 n仿真步骤
" v  C& G) `9 L! \
（1）建立库并映射库到物理目录

因为用ModelSim 进行仿真是建立在仿真库的基础上的（此处进行的是功能仿真，因而不用编译特定厂商的库），所以首先要建立库并把库映射到实际的物理路径。通常用户编译的文件都放在work库中，所以必须先建立work 库。有两种方法建立并映射库，第一种方法是通过图形界面，在菜单Design→Create a New Library 弹出对话框，如图1 所示。在Library Name 中输入work，如果建立其它库，可以输入其它名字。Library Map to 是映射的物理路径。第二种方法是用命令行的形式，建立库用ModelSim>vlib，映射库用ModelSim> vmap ， 如建立并映射库work，就可以在ModelSim 主窗口命令提示符下输入
% n" T5 `' k3 i6 K: g. J$ m7 a
7 b, @( Y7 s* i# p) R% c" E- x9 u6 evlib work
8 p1 ?  h& X. E
4 E# V9 z: K6 \/ E! Y) uvmap work work

( r# U* V/ _, o9 ]4 s- v) {* e（2）编译源代码
  T* n' x1 J8 K4 {$ \4 O0 k* i/ r% U
该步骤主要检查源文件的语法错误。实现方法有两种，一是通过菜单Design→Compile，出现选择源文件对话框，选择要编译的源文件，编译即可；二是通过命令行方式，这一步对于VHDL 和Verilog 所使用的命令是不一样的，对于VHDL 代码用vcom-work.vhd.vhd ， 对于Verilog 代码用vlog-work.v.v，文件按出现的先后顺序编译，且支持增量编译。编译后的文件会放在缺省当前work 库中。
" q% \& L) L7 Q9 _$ W
（3）启动仿真器
  t9 Z& f  C/ x4 c# P$ a8 G
; d1 |$ I  }: G) S" E该步骤主要是把所有仿真的文件加载到当前的仿真环境中。实现的方法两种，一是通过菜单Design→Load Design，出现加载对话框，选择要仿真的程序即可；二是通过命令行的形式vsim-lib ， 这条命令对于VHDL 和Verilog 都一样。

（4）执行仿真
' D1 V6 E/ B2 u" R6 k* X) l
5 K* D* ~5 _/ P; q$ o; \该步骤是正式执行仿真了，在仿真前最重要的一个步骤就是加载激励

dsgh

功能仿真又叫逻辑仿真，是指在不考虑器件延时和布线延时的理想情况下对源代码进行逻辑功能的验证；而时序仿真是在布局布线后进行，它与特定的器件有关，又包含了器件和布线的延时信息，主要验证程序在目标器件中的时序关系

oewqe

因为用ModelSim 进行仿真是建立在仿真库的基础上的（此处进行的是功能仿真，因而不用编译特定厂商的库），所以首先要建立库并把库映射到实际的物理路径
' A, e0 \9 @  V5 e3 h* I: L

wnm

学习学习