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

最新推荐文章于 2025-03-07 22:55:49 发布

weixin_30587025

最新推荐文章于 2025-03-07 22:55:49 发布

阅读量2.1k

点赞数 1

CC 4.0 BY-SA版权

文章标签：操作系统

原文链接：http://www.cnblogs.com/hfyfpga/p/4229673.html

本文介绍了如何在Vivado中调用ModelSim，通过配置软件路径、编译仿真库、指定Vsim选项，来生成FSM的状态转移图。在遇到版本不兼容导致的错误时，提供了修改FSM1.do文件或在ModelSim命令窗口输入命令的解决办法，以成功查看状态转移图。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

如果我们已经书写了一段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或者全选）、器件家族（例如Kintex/ Virtex/ Artix -7, ,Zynq-7000, Kintex/Virte