同步状态机的原理结构和设计解读.ppt

FSM 输出方法 2 ? 并行输出寄存器的译码输出 FSM 输出方法 3 ? 状态位里的编码输出 ? 缩短输出延时 ? 要求状态位编码与输出信号要求的值相结合 DFFs Output Comb. Logic Feedback Comb. Logic FSM 输出方法 4 ? ONE HOT 编码 ? 使用 N 位状态寄存器表达具有 Ng 状态的 FSM ，每 个状态具有独立的寄存器位。任意时刻只有 1 位寄 存器为 1 ，即 hot point 。此为 one hot 。 ? One hot 编码方程用简单的次态方程驱动，减少 了状态寄存器之间的组合逻辑级数，因此提高了 运行速度。同时是以牺牲寄存器逻辑资源和提高 成本为代价的。 ? 目标器件具有较多寄存器资源，寄存器之间组合 逻辑较少时比较适用。 FSM 的容错设计 ? 枚举型数据状态编码在综合时转换为矢量信号，状态位数 目 =log 2 N ， N ：状态数 ? 若 log 2 N 不为整数，存在未定义状态，非法状态。 ? 不考虑非法状态则可减少设计的逻辑数目，考虑非法状态 则可降低系统容错性 ? 原因：干扰，噪声，电源变化等引起触发器翻转误入非法 状态，造成死锁。 ? 处理：转入空闲态；转入指定态；转入预定义的错误处理 告警状态 ? default : State= idle; --- 转入空闲态； ? default : State = “ XXXXX ” ; --- 忽略； ? 对 one hot 型 FSM ，可编写检错程序，判断是否同时又多 个状态寄存器为 1 ，，若有做相应出错处理。 状态机的状态编码 有限状态机设计是基于状态描述的， 因此首先必须对系统中的每一个工作状态 有一个合理的表达。对于设计者而言，为 了表达简捷方便通常使用符号化状态机 。 ? 例如： ? 二进制编码方案 ：是用 N 位二进制数，表示 M 个工作状态，当然必须满足 2 N 大于等于 M 。 ? 一位热码编码方案 ：用 N 位二进制数表示 N 个状 态，每一位编码对应一个触发器，状态机中的 每个状态都由其中一个触发器的状态来表示。 ? Choose bit vectors to assign to each “ symbolic ” state ? With n state bits for m states there are 2 n ! / (2 n – m)! state assignments [log n = m = 2 n ] ? 2 n codes possible for 1st state, 2 n – 1 for 2nd, 2 n – 2 for 3rd, … ? Huge number even for small values of n and m ? Intractable for state machines of any size ? Heuristics are necessary for practical solutions ? Optimize some metric for the combinational logic ? Size (amount of logic and number of FFs) ? Speed (depth of logic and fanout) ? Dependencies (decomposition) State Assignment Strategies ? Possible Strategies ? Sequential – just number states as they appear in the state table ? Random – pick random codes ? One-hot – use as many state bits as there are states (bit=1 – state) ? Output – use outputs to help encode states (counters) ? Heuristic – rules of thumb that seem to work in most cases ? No guarantee of optimality – an intractable problem One-hot State Assignment ? Simple ? Easy to