清华大学电子系讲义-数字电路（王德生）----四时序设计6.docVIP

时序电路 …… 状态分配（State assignment） 虽然状态分配是重要的，但其处理又是非常棘手的。 原因：1.随状态数的增加，可能的分配方案数急剧增大； 2.没有找到一个简单有效的方法从中选择最佳方案。 状态数与触发器个数关系: 如设p为电路状态数，k为触发器个数（k、p均为正整数），则应有： 分配方案的个数N与状态数p的关系: 从2K中选择p的组合数。 单一状态分配： 上述分配方案中，有些是等效的。 例：四状态A、B、C、D状态分配。 PS X 0 1 A A/0 B/0 B A/0 C/0 C C/0 D/0 D C/1 A/0 S 分配方案 1 Y1Y2 2 Y1Y2 3 Y1Y2 A B C D 00 01 11 10 10 11 01 00 00 10 11 01 激励函数： 方案1 方案2 方案3 ( ) 方案2是将方案1中的Y1求补所得，所以，可将方案1结果中Y1和D1求补得出。 方案3是将方案1中的Y1、Y2交换所得，所以，可将方案1中的Y1、Y2和D1、D2交换得出。 三种分配方案得到的激励函数复杂度相同，可认为是等效的。不存在相互等效的所有状态分配方案称为单一状态分配。单一状态分配方案数与状态数NU的关系为： 下表例示了一些状态数和状态分配方案数的关系。 p 2 3 4 5 6 7 8 9 10 k 1 2 2 3 3 3 3 4 4 NU 1 3 3 140 420 840 84075675600 N 2 24 24 6720 20160 40320 40320 4150000000 29100000000 虽然没有简单有效的方法得到最佳状态分配，但存在一些状态分配的指导原则，在状态分配中尽量遵循这些原则也能使我们得到相当好的结果。 状态分配指导原则 激励卡诺图是由状态卡诺图决定的，不同的状态分配产生不同的激励卡诺图。为争取得到尽量简单的激励函数，状态分配方案应尽量使激励卡诺图中的1（或0）相邻，以利形成1（或0）的群块。下述规则有助卡诺图中1（或0）的群块的形成。 原则1：对于一个给定的输入，具有相同次态的那些状态应该尽量给予相邻分配。 原则2：对于相邻输入情况下，同一状态的那些次态应该尽量给予相邻分配。 原则3：对于具有相同输出的那些状态应该尽量给予相邻分配。 分配原则之原理： 观察激励表可以发现，对于D触发器，无论其原处何态，只要次态相同，则所需激励相同。对于SR和JK触发器，考虑到任意值，也只要次态相同，则也可认为所需激励相同。 (a) JK触发器 (b) SR触发器 Q(t) Q(t+1) JK Q(t) Q(t+1) SR 0 0 0X 0 0 0X 0 1 1X 0 1 10 1 0 X1 1 0 01 1 1 X0 1 1 X0 (c) D触发器 (d) T触发器 Q(t) Q(t+1) D Q(t) Q(t+1) T 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 由上可得，对于D、JK、SR触发器，激励值相同，即意味次态相同。 对于原则1，由于在相同输入情况下，次态相同的那些态被相邻分配，即意味着对于D、SR JK触发器在此种情况下不仅由于改变结果的相同，因而所需激励值相同，而且相对于状态变量，由于相邻分配，这所需相同激励值在激励卡诺图中的位置也相邻，因此有利于激励卡诺图中的1（或0）形成群块，使其较少依赖于状态变量。 S 分配方案 1 Y1Y2 2 Y1Y2 3 Y1Y2 A B C D 00 01 11 10 10 11 01 00 00 10 11 01 对于原则2，由于在相邻输入情况下，次态被相邻分配，意味着在此种情况下，大多触发器的改变相同（所需激励值也相同），且相对于输入变量，这些所需相同激励（值）在激励卡诺图中的位置也相邻，因此有利于激励卡诺图中的1（或0）形成群块，使其较少依赖于输入变量。 同理，原则3有利于输出函数卡诺图中的1（或0）形成群块，减弱化简结果与状态变量的相关。 验证： PS X 0 1 A A/0 B/0 B A/0 C/0 C C/0 D/0 D C/1 A/0 应用三原则进行状态分配时，如有冲突，则原则1优先级最高，原则3优先级最低。 状态分配步骤： 根据三分配原则分别列出所需相邻分配的状态对； 合并步骤1中分配原则1、2的结果，并