四时序电路状态分析..docVIP

第四章 时序电路（Sequental Circuits） 4．3 同步时序电路 4．3．1 mealy和moore模型 mealy和moore是时序电路最主要的二形式。 mealy时序电路模型 moore时序电路模型 同步时序电路的记忆电路由触发器构成，存储与更新状态信息。 二组合逻辑模块对输入和触发器输出信息进行转换。输入逻辑产生对触发器的激励，输出逻辑则产生所需输出。 mealy时序电路的输出是I、S的函数。 Moore时序电路的输出仅是S的函数。 4．3．2 时序电路的表述。 逻辑图，术语，状态图，符号状态表，代码状态表，激励表，激励方程，定时波形图。 时序电路状态机制中所用变量术语： 输入变量：所有进入时序电路的外部变量。 输出变量：所有从时序电路发出的变量。 状态变量：触发器的输出，亦即时序电路的状态。 激励变量：触发器之输入。因其“激励”触发器改变而得名。激励变量就是触发器的J、K、R、S、D、T端，由输入组合逻辑对输入变量和状态变量逻辑运算产生。状态变量是激励变量的函数。 状态：触发器的内容及输出。时序电路的每个状态都必须是唯一的和不相互模糊。 时序电路的可能状态数 Y＝2X（X：触发器数）。 时序电路的当前态（PS:Present state）Next state)。 触发器所表示的时序电路状态只在时钟沿改变，所以以时钟沿分割状态。 现态（当前态）PS：在t时段的状态变量值。 下态（次态）NS：相对于t时段，时钟沿后t＋1时段的状态值。 PS（t） F2 F1 NS（t＋1） F2 F1 0 1 1 1 1 1 1 1 0 0 0 例：简单状态表。 时序电路状态图（state diagram） 用抽象符号表示状态及其转换情况。 mealy型时序状态表示： 例： X:输入变量。 Y：输出变量。 A、B：表示不同状态。 X/Z：表示 输入/输出。 Moore型时序状态表示： 例：JK触发器moore型状态图表示。 Mealy和moore混合型时序状态表示。 例：一个输入变量X，二输出变量Y、Z。 (输出Z只与状态有关，输出Y与状态和X同时有关) 状态：A、B、C、D 输入变量个数决定每个状态转移线数，次态是其它态，也可是原态。 当输入变量较多时，为方便，有时只将状态图中转移到它态的转移线画出。 例：输入X、Y、Z。 时序电路符号状态表（state table） 三栏：状态栏（电路所有出现状态）； 次态栏（各态在各输入组态之次态）； 输出栏（各态在各输入组态之输出）。 例： PS NS(XY/Z) 00 Z 01 Z 11 Z 10 Z A B C D A 0 A 0 B 0 B 0 B 0 C 0 C 0 B 0 A 0 D 0 C 0 B 0 A 0 D 0 A 1 D 0 时序电路代码状态表（state table） 在时序电路电路实现时，代表状态的符号必须指定为代码才能在触发器中存储，称之为状态分配（making the state assignment）。 当状态被分配代码后，替代符号状态表中的符号便生成代码状态表。 例：如上述时序电路状态分配如下： Fa Fb State 0 0 0 1 1 1 1 0 A B C D 则时序电路代码状态表为： PS Fa Fb NS (XY/Z) 00 Z 01 Z 11 Z 10 Z FaFb FaFb FaFb FaFb 0 0 0 1 1 1 1 0 00 0 00 0 01 0 01 0 01 0 11 0 11 0 01 0 00 0 10 0 11 0 01 0 00 0 10 0 00 1 10 0 注意：状态分配可存在不同方案，对电路的实现有影响，后章节讨论。 时序电路的激励表与激励方程。 从代码状态表可得在各种状态和输入组合情况下的触发器所应产生的输出变化，因此，当我们选定触发器后，便可导出每个触发器在所有各种状态和输入组合情况下对其所应产生的激励表。如把激励表中的状态变量、输入变量均作为组合电路的输入看待，则激励表就是求对触发器激励端的激励方程（函数、表达式）的真值表。从真值表自然可设计出激励电路。 各类型触发器之激励表汇总如下： (a) JK触发器 (b) SR触发器