●随着集成电路密度的提高和可编程器件 的发展,对时序电路状态化简的考虑有所变化。 出于设计中的特殊考虑,不一定将电路状态化至 最简。但电路尽量简化的原则还是应该遵循的。 ●状态化简工作可由计算机完成。 ●所谓多余状态就是状态图中存在着可被 另一状态所代替的状态。 ●可以相互代替的状态称之为状态等价 如能找出原始状态图中所有相互等价态, 则可只留不相互等价态,得到最简状态图。 状态等价 如果将同一时序电路的两个状态S1和S分 别作为起始态,不论加入任何可能的输入序列, 电路均产生相同的输出序列,我们称S和S是 等价状态或等价对,记作S~S 等价具有传递性。即如有S~S,S~SK, 则有S~Sk 等价类:多个相互等价状态之集合。如上述 sSS构成一等价类。 最大等价类:在同一时序电路中,包含所有 相互等价的状态的等价类。不与其它任何状态等⚫ 随着集成电路密度的提高和可编程器件 的发展，对时序电路状态化简的考虑有所变化。 出于设计中的特殊考虑，不一定将电路状态化至 最简。但电路尽量简化的原则还是应该遵循的。 ⚫ 状态化简工作可由计算机完成。 ⚫ 所谓多余状态就是状态图中存在着可被 另一状态所代替的状态。 ⚫ 可以相互代替的状态称之为状态等价。 ⚫ 如能找出原始状态图中所有相互等价态， 则可只留不相互等价态，得到最简状态图。 状态等价 如果将同一时序电路的两个状态 Si 和 Sj分 别作为起始态，不论加入任何可能的输入序列， 电路均产生相同的输出序列，我们称 Si 和 Sj 是 等价状态或等价对，记作 Si～Sj。 等价具有传递性。即如有 Si～Sj，Sj～SK， 则有 Si～SK。 等价类：多个相互等价状态之集合。如上述 SiSjSk构成一等价类。 最大等价类：在同一时序电路中，包含所有 相互等价的状态的等价类。不与其它任何状态等