自动交通控制系统算法设计.ppt

3.3.2 状态编码 ● 状态位直接输出型编码： 指 将状态编码直接输出作为控制信号的编码 。 要求 对状态机各状态的编码作特殊的选择，以适应控制时序的 要求 。 这种状态机称为 状态码直接输出型状态机 。 计数器是这种编码方式最典型的应用事例 。 ● 顺序编码： 指 按触发器二进制代码的顺序作为状态机控制信号的 编码 。 这类编码方式 使用的触发器数量最少，剩余的非 法状态最少，容错技术最为简单 。 其缺点是 作为控制译码 器的组合逻辑比较复杂 。 ● 格雷码编码： 是顺序编码方式的一种改进，其特点是 任一对相邻状 态的编码中只有一个二进制位发生变化 。 它有利于 状态译 码组合逻辑的简化，提高综合后目标器件的资源利用率和 运行速度 。 ● 一位热码编码（ One-hot encoding ）： 是 用 n 个触发器来实现具有 n 个状态的状态机，状态 机中的每一个状态都由其中一个触发器的状态表示 。 即 当处于该状态时，对应的触发器为 1 ，其余的触发 器都置 0 。 其优点是 编码方式简单，大大简化了状 态译码逻辑，提高了状态转换速度，适用于含有较多的 时序逻辑资源，较少的组合逻辑资源的 FPGA 器件 。 3.3.3 状态机剩余状态处理 ● 剩余状态： 指 未被定义的编码组合 。 这种状态在状态机正常运行 中是不需要出现的，通常称为 非法状态 。 在状态机中 ，如果没有对这些 非法状态 进行合理处理， 在外界不确定的干扰下，或在随机上电的初始启动后，状 态机 都有可能 进入不可预测的非法状态，其后果或是对外 界出现短暂失控，或是完全无法摆脱非法状态而失去正常 的功能。 处理方法 ： （ 1 ）在语句中对每一个非法状态都作出明确的状态转 移指示，如在原来的 CASE 语句中增加以下语句： WHEN st_ilg1 = next_state = S0; WHEN st_ilg2 = next_state = S0; 一个 ASM 图可以由若干个 ASM 块组成 。 一个 ASM 块 表示一个时钟周期内的系统状态。每个 ASM 块必定包含一个状态框 且只允许包含一个状态框，与此状态框相连的若干个判断框和条件 输出框也属于该 ASM 块，如图（ a ）虚线框所示。仅含有一个状态框 的 ASM 块是一个简单块，如图（ b ）所示。 ASM 块 cn←0 （ b ） （ a ） x y cn←0 … … … cn←cn+1 S0 S1 S2 S3 00 01 10 11 S0 00 2. ASM 块 ◆ ASM 图具有时间序列 。 ASM 图状态由现态转 到次态的这种状态改变是在时钟信号的控制下实现的； ASM 图中的每一个 ASM 块都在状态框和条件输出框内列 出了一个时钟脉冲周期应实现的操作，这些操作均在数据 处理器中完成，状态的变化则在控制器中实现。 ◆ 算法流程图和 ASM 图之间的主要区别 ： ① 前者是 事件驱动 的，即其操作是一个接一个发生的；而 ASM 图是 时间驱动 的，一个 ASM 块中的各个操作和从一种状态到另一种状态的转 换均发生在时钟的 同一个边沿 。 ② 如果输入信号是异步的，既是说输入信号早于或者晚于系统时钟 的有效边沿出现，这时需要进行 同步化处理 。 异步信号的同步化电路如 图所示（图中将同步化时间确定在时钟上升沿）。 注意 ： 算法流程图与 ASM 图在时间概念上的区别 3. ASM 图的建立 同步化电路 同步化输出 D cp Q 异步输入 系统时钟 某数字系统的部分算法流程图及 ASM 图 x ← x+1 x = n? 0 1 （ a ）算法流程图 x ← x+1 x = n? 0 1 S0 00 S1 01 （ b ） ASM 图 ◆ 由算法流程图到 ASM 图 ： 算法流程图 规定了为完成某项设计任务系统应进行的 判断和操作，以及判断和操作的顺序； ASM 图 规定了为 完成这些判断和操作顺序所需的时间和控制器应输出的信 号。由算法流程图导出 ASM 图的关键是安排状态 。 安排状态的原则 ： ① 在算法的起点安排一个状态； ② 为不能同时实现的寄存器操作分配不同的状态； ③ 在受寄存器操作影响的判断处安排一个状态。 ◆ 举例 ： 设计一个串行数据接收器，接收 RS232 标准编码的串行 数据，并输出接收到的数据。 解 ： RS232 数据编码的格式是 ： 起始位 (1bit) + 数据位 (8bit) + 奇偶校验位 (1bit) + 停止位 (1bit) 其中，起始位为 低有效 。 令 P 为奇偶误差标志信号，高有效 （即 P =1 表示检测到奇偶误差 ) ； M 为输出标志信号，高有效 （即 M =1 表示输出信号有效）； R 为接收数据寄存器 ； COUN