使用ISE/ModelSim显示状态机转移图

用状态机思想编写的verilog代码生成状态机图会很方便检查和调试,quartus好像可以直接生成,ISE不行,需要用modelsim,步骤如下。

右键单击Simulate Behavioral Model,选择Process Properties。然后把Property display level改为Advanced,在Other VSIM Command Line Options下面,输入-fsmdebug –coverage这两个选项(务必输入,否则ModelSim无法产生FSM视图):

双击Simulate Behavioral Model,将打开ModelSim。

在ModelSim中执行View---FSM list命令,如下图所示:

然后就会发现ModelSim左边这部分的标签多了一项,如下面两幅图的对比:

未执行命令前是这样子的:

执行完命令是这样子的:

这时候在FSM List标签下,可以看到如下内容,双击之:

于是出现了下面的状态转换图:

这时观察生成的状态转换图发现,所有的状态都在复位的情况下返回了状态IDLE,这是我们不期望的,仔细观察这时的菜单栏可以发现,有一个FSM View项:

将Show Transitions to "Reset"项前面的对勾去掉,就会发现不显示复位情况下返回状态IDLE了,如下图所示:

参考资料:

https://blog.csdn.net/jbb0523/article/details/7932026

http://xilinx.eetrend.com/blog/7391

原文地址:https://www.cnblogs.com/zlll/p/9597678.html

时间: 2024-11-10 13:38:11

使用ISE/ModelSim显示状态机转移图的相关文章

[原]零基础学习SDL开发之在Android使用SDL2.0显示BMP叠加图

关于如何移植在android上使用SDL,可以参考[原]零基础学习SDL开发之移植SDL2.0到Android 和 [原]零基础学习SDL开发之在Android使用SDL2.0显示BMP图 . 在一篇文章我们主要使用SDL2.0来加载一张BMP图来渲染显示,同时叠加一张图作为背景图. 博主的开发环境:Ubuntu 14.04 64位,Eclipse + CDT + ADT+NDK 在前面两篇文章我们知道了如何移植SDL2.0到android上面来,并且可以在Android上面来显示一张图片,这篇

POJ 2778 DNA Sequence(AC自动机确定DFA转移图+矩阵快速幂)

这道题极好的展示了AC自动机在构造转移图DFA上的应用 DFA转移图就是展示状态的转移过程的图,DFA图构造出来后就可以用DP求出任何DNA长度下,任何状态的个数 本题用自动机求出DFA矩阵,那么有 | dp[n][0] dp[n][1] ... dp[n][m] |=|dp[1][0] dp[1][1] ... dp[1][m] | * DFA^(n-1)    (m指状态总数) DP边界矩阵|dp[1][0] dp[1][1] ... dp[1][m] | 也就是DFA的第一行,所以dp[n

html始终让元素居中显示,背景图铺满随便拖动不出界

首先,写两个class属性 body { margin: 0; padding: 0; height: 100%; width: 100%; background-image: url(../Content/Images/background.jpg); background-repeat: no-repeat; background-size: cover; } .login { height: 300px; width: 400px; border: 1px solid #f00; posi

R: 一页显示多张图的方法

################################################### 问题:一页多图显示   18.4.30 怎么实现,在一页上画多幅图,并且安排图的大小.个数等??? 解决方案: open <- par(mfrow = c(2,2),mar=c(3,3,2,1)) r(open) layout(matrix(1:6,3,2))   #将当前装置分割为3行2列的布局 layout.show(6)   #显示布局的编号 layout(matrix(1:6,2,3)

cocos2d-js 显示帧序列图中的一帧

1.flashCC中打开库,在一个元件中右键->Generate Sprite Sheet...设置如下: 2.点Export后得到playerWalk.png和playerWalk.plist,复制到当前项目目录的res文件夹下.如图: 3.修改resource.js var res = { playerWalk_plist:"res/playerWalk.plist", playerWalk_png:"res/playerWalk.png" }; var

Wordpress主题Twenty Fifteen首页和分类显示摘要方法[图]

我们知道,在搜索结果中文章是以摘要的形式显示的,而首页和分类都是显示全部内容,因此我找到了以下方法,只要把index.php和archive.php把红色位置的content改为content-search即可.

使用GridVIew显示Gantt(甘特图),动态增减列

说明:本例是做了工厂的排机报表 一.根据查询日期初始化GridView列 private void IniGridView(DateTime p_DateS,DateTime p_DateE) { //1.移除机台以外的列 for (int i = gridView1.Columns.Count - 1; i >= 0; i--)//从后向前遍历删除,否则会引起混乱.不用foreach也是出于此原因 { if (gridView1.Columns[i].FieldName != "Mach

MeshLab显示纹理贴图

共需要三个文件:obj文件.mtl文件及一张纹理图. 1.obj文件需要满足如下格式: 顶点 v 纹理坐标 vt 法线 vn 面片f Vertex1/Texture1/Normal1 Vertex2/Texture2/Normal2 Vertex3/Texture3/Normal3 例如: mtllib ./1f2.obj.mtl v 1.458263 -1.366019 1.144059 v 1.444591 -1.369437 1.111344 v 1.460216 -1.349906 1.

PyQt训练BP模型时,显示waiting动图(多线程)

1.实现效果 2.相关代码 实现BP训练模型的线程类 1 class WorkThread(QtCore.QThread): 2 finish_trigger = QtCore.pyqtSignal() # 关闭waiting_gif 3 result_trigger = QtCore.pyqtSignal(pd.Series) # 传递预测结果信号 4 evaluate_trigger = QtCore.pyqtSignal(list) # 传递正确率信号 5 6 def __int__(se