同步状态机的原理、结构和设计教程解读.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Moore型FSM信号输出方法 由状态编码位经组合译码后输出 并行输出寄存器的译码输出 状态位里的编码输出 一位有效编码方式 FSM输出方法1 由状态编码位经组合译码后输出 delay FSM输出方法2 并行输出寄存器的译码输出 FSM输出方法3 状态位里的编码输出 缩短输出延时 要求状态位编码与输出信号要求的值相结合 DFFs OutputComb. Logic FeedbackComb. Logic FSM输出方法4 ONE HOT编码 使用N位状态寄存器表达具有Ng 状态的FSM，每个状态具有独立的寄存器位。任意时刻只有1位寄存器为1，即hot point。此为one hot。 One hot 编码方程用简单的次态方程驱动，减少了状态寄存器之间的组合逻辑级数，因此提高了运行速度。同时是以牺牲寄存器逻辑资源和提高成本为代价的。 目标器件具有较多寄存器资源，寄存器之间组合逻辑较少时比较适用。 FSM的容错设计 枚举型数据状态编码在综合时转换为矢量信号，状态位数目=log2N，N：状态数 若log2N不为整数，存在未定义状态，非法状态。 不考虑非法状态则可减少设计的逻辑数目，考虑非法状态则可降低系统容错性 原因：干扰，噪声，电源变化等引起触发器翻转误入非法状态，造成死锁。 处理：转入空闲态；转入指定态；转入预定义的错误处理告警状态 default : State= idle; ---转入空闲态； default : State =“XXXXX”; ---忽略； 对one hot型FSM，可编写检错程序，判断是否同时又多个状态寄存器为1，，若有做相应出错处理。 状态机的状态编码 有限状态机设计是基于状态描述的，因此首先必须对系统中的每一个工作状态有一个合理的表达。对于设计者而言，为了表达简捷方便通常使用符号化状态机。 例如： 二进制编码方案：是用N位二进制数，表示M个工作状态，当然必须满足2N大于等于M。 一位热码编码方案：用N位二进制数表示N个状态，每一位编码对应一个触发器，状态机中的每个状态都由其中一个触发器的状态来表示。 Choose bit vectors to assign to each “symbolic” state With n state bits for m states there are 2n! / (2n – m)! state assignments [log n = m = 2n] 2n codes possible for 1st state, 2n–1 for 2nd, 2n–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 encode, debug Small Logic Functions Each state function requires only predecess