在Vivado中调用ModelSim生成FSM的状态转移图

如果我们已经书写了一段FSM代码，现在想倒过来把它转换成为状态转移图，方便我们直观地检查我们书写的状态对不对（在写论文什么的画图太麻烦的时候，有个自动生成的是多方便啊！），应该怎么弄呢？通过在Vivado中调用ModelSim，可以直接完成这个操作，下面我们就来看看这个神奇的转换是如何完成的。

首先介绍一下软件环境：

ü  操作系统win7 sp1 64位

ü  Vivado2014.1 64位

ü  Modelsim SE-64 10.2c

然后就是打开Vivado，新建一个RTL工程，配置好器件……这个步骤大家都写过了，所以在此略过。然后在Vivado中新建顶层文件，然后输入一段FSM代码。接下来我们要先配置ModelSim的路径，使得Vivado知道ModelSim在哪里。方法是在Vivado中点击菜单栏的Tools---Options---General，在最后面的一行里选择ModelSim的安装路径，如图1所示。

 

图1 配置ModelSim的路径

         然后我们要为Xilinx的FPGA器件编译生成供ModelSim仿真使用的库。点击Vivado工具栏上的Tools---Compaile Simulation Libraries，如图2所示。

 

图2 编译仿真库

         在图2的配置窗口中选择仿真器类型（例如ModelSim、Active-HDL等）、编程语言（Verilog或者HDL或者全选）、库的类型（Unisim或者SimPrim