EDA第8讲VHDL有限状态机设计.ppt

10.7状态机图形编辑设计方法 菜单：Tools-State Machine Wizard (2)调用状态机向导 10.7状态机图形编辑设计方法 (3)创建一个新状态机----设置复位模式 10.7状态机图形编辑设计方法 (4)设置状态元素、输入输出信号、状态转换条件 10.7状态机图形编辑设计方法 10.7状态机图形编辑设计方法 (5)设置完成后存盘为 .smf 文件，在编辑界面中可看到状态转换图： 10.7状态机图形编辑设计方法 (6) 图形状态机也可转换成HDL 菜单：Tools-Generate HDL File 10.3 Mealy型有限状态机的设计 10.3 Mealy型有限状态机的设计 接下页 序列检测器之Mealy状态机设计 10.3 Mealy型有限状态机的设计 异步输出 10.3 Mealy型有限状态机的设计 高位在前 异步输出 菜单：Tools-Netlist Viewers-RTL Viewer 状态元素的编码方式 符号化方式：用文字符号定义状态元素 直接编码（非符号化）方式：状态元素使用具体的数字 10.4 状 态 编 码 10.4.1 直接输出型编码 计数器本质上就是一个状态机， 其计数输出就是各状态的状态码 状态码直接输出型状态机 -------状态编码直接输出作为控制信号 ：output=state 实例1：计数器 10.4.1 直接输出型编码 10.2节0809采样状态机状态编码表： 实例2： 10.4 状 态 编 码 10.4.1 直接输出型编码 10.4状态编码 10.4.1 直接输出型编码 10.4 状 态 编 码 10.4.1 直接输出型编码 利用状态机编码属性语句定义各状态编码： 10.4状态编码 10.4.2 顺序编码 优点： 编码方式最简单 设计中最常用 使用触发器最少 剩余非法状态最少 容错技术最简单 缺点： 占用状态转换译码组合逻辑较多资源 涉及多触发器同时转换：耗时、毛刺 当选择符号化状态机设计时，综合器一般不会默认选择顺序编码方式 直接输出型编码 顺序编码 10.4 状 态 编 码 10.4.3 一位热码状态编码 一位热码编码（One-Hot Encoding） ： 用n个触发器来实现n个状态的状态机 状态机的每个状态都由其中一个触发器状态表示 特点： 使用较多触发器， 但状态译码逻辑大大简化、提高状态转换速度、增加工作稳定性 对时序逻辑资源较多、组合逻辑资源较少的FPGA是一种较好解决方案 10.4 状 态 编 码 10.4.3 一位热码状态编码 10.4 状 态 编 码 10.4.4 状态编码设置 用户自定义方式 需要的编码方式直接写在程序中 编码方式预设为 “ User_Encoded” 方式 10.4 状 态 编 码 10.4.4 状态编码设置 2. 直接设置方法 10.4 状 态 编 码 10.4.4 状态编码设置 3. 用属性定义语句设置 10.4 状 态 编 码 10.4.4 状态编码设置 3. 用属性定义语句设置 10.5 安全状态机设计 非法状态： 未被编码的状态 例10-1中的非法状态 10.5 安全状态机设计 10.5.1 程序直接导引法 状态元素定义中，对所有状态，包括多余状态都进行定义 对每个非法状态都做出明确的状态转换指示 尽量不要依赖WHEN OTHERS语句避免非法状态 10.5 安全状态机设计 10.5.2 状态编码监测法 对于一位热码编码方式，剩余状态太多，程序直接引导法耗费逻辑资源太多 可在程序中加入状态编码中1的个数是否大于1的监测判断逻辑: 状态编码中1的个数是否大于1的监测判断逻辑 10.5 安全状态机设计 10.5.3 借助EDA优化控制工具生成安全状态机 方法一： 10.5 安全状态机设计 10.5.3 借助EDA优化控制工具生成安全状态机 方法二： 10.6 硬件数字技术排除毛刺 10.6.1 延时方式 使用时序元件，如触发器来延时 主要针对单边沿毛刺 10.6 硬件数字技术排除毛刺 10.6.1 延时方式 10.6 硬件数字技术排除毛刺 10.6.2 逻辑方式去毛刺 10.6 硬件数字技术排除毛刺 10.6.2 逻辑方式去毛刺 10.6 硬件数字技术排除毛刺 10.6.3 定时方式去毛刺 10.6.3 定时方式去毛刺 10.6 硬件数字技术排除毛刺 10.6.3 定时方式