时序逻辑电路的设计方法_20121128_1分解.ppt

②相容类。相容类是由彼此相容的状态构成的集合。处于同一相容类中的所有状态之间都是两两相容的。例如，若有相容对(S1，S2)、(S2，S3)和(S1，S3)，则可构成相容类{S1，S2，S3}。 ③最大相容类。若一个相容类不是任何其他相容类的子集，则该相容类称为最大相容类。由于相容状态无传递性，所以，同一原始状态表的各最大相容类之间可能存在相同状态，即同一状态可能出现在不同的最大相容类中。 (2)不完全确定状态表的化简 不完全确定状态表的化简过程与完全确定状态表的化简过程相似，只是在某些环节的具体处理上稍有不同。其一般步骤与方法如下。 ①作隐含表，寻找相容状态对。利用隐含表寻找相容对的过程与化简完全确定状态表时寻找等效对的过程是相同的，仅仅是状态相容与状态等效的标准有所不同而已。即画好隐含表后，首先依次判别每个状态对的相容关系，并将判断结果标注到隐含表中。若某个状态对相容，则在相应方格中填入“√”；若某个状态对是不相容的，则在相应方格中填入“×”；若两个状态的输出相同(或者不确定)，而其次态尚不能直接确定是否相容，则在相应方格中填入与之相关的次态对。 在顺序比较完成后，可利用已建立的隐含表继续追踪待确定的状态，即进行关联比较。如果与之关联的次态对都是相容的，则原状态对是相容的；只要某方格中填入的次态对中有一对不相容，则该方格所对应的状态对不相容，在该方格中填人标记“／”。逐个检查，直至判断出所有状态对相容或不相容为止，即可列出原始状态表中的全部相容对。 ②利用状态合并图，求出最大相容类。为了方便地找到最大相容类，可以借助于状态合并图。状态合并图是一种将不完全确定状态表的状态，以“点”的形式均匀地绘在圆周上，然后把所有相容对都用线段连接起来而得到的图。在这种图中，圆周上的点表示状态，点与点之间的连线表示两状态之间的相容关系，所有顶点之间都有连线的多边形就构成一个最大相容类。 2个、3个、4个和5个状态的最大相容类状态合并图如下图所示： ③利用闭覆盖表，求最小闭覆盖。这一步与化简完全确定状态表差别较大。要想求出不完全给定状态表的最小化状态表，必须从最大相容类(或相容类)中选出一个相容类的集合，该相容类集合必须满足以下3个条件。 S1 S2 a．覆盖性，即所选相容类集合应包含原始状态表的全部状态。 b. 最小性，即所选相容类集合中相容类个数应最少。 c．闭合性，即所选相容类集合中的任一相容类，在原始状态表中任一输入条件下产生的次态应该属于该集合中的某一个相容类。 同时具备最小、闭合和覆盖3个条件的相容类(包括最大相容类)集合，称为最小闭覆盖。不完全确定状态表的最简化，就是寻找一个最小闭覆盖。 寻找最小闭覆盖要借助于闭覆盖表。所谓闭覆盖表是指反映闭合和覆盖这两个性质的表，该表包括两部分，一部分反映相容类集合的状态覆盖情况，另一部分反映相容类的闭合关系。闭覆盖表的画法是：在表的左边自上而下列出所选相容类，表的中间覆盖部分从左到右列出全部状态，表的右边闭合部分列出各相容类在输入各种取值组合下的次态组合。必须指出，这里所说的相容类包括最大相容类和它们的子类。 ④作出最小化状态表。选出一个最小闭覆盖之后，将最小闭覆盖中的每个相容类用一个新的状态符号表示，再将其代入原始状态表中，即可得到与原始状态表功能相同的最小化状态表。 下面举例说明不完全确定状态表的化简方法。 例1．化简右面所示的原始状态表。 解： 这是一个具有5个状态的原 始状态表，表中存在不确定的次态 和输出，因此，是一个不完全确定 状态表。用隐含表法化简该状态表 的过程如下。 ①作隐含表，寻找相容状态对。 作出隐含表，并根据相容状态的判断标准对各状态 对进行顺序比较和关联比较后的结果如下。 输入 状态 X=0 X=1 A A/d d/d B C/1 B/0 C D/0 d/1 D d/d B/d E A/0 C/1 由隐含表中的标注可知，该状态表中的 相容状态对有：(A，B)、(A，C)、(A，D)、 (A，E)、(B，D)、(C，D)、(C，E)。 ②作状态合并图，找出最大相容类。 根据相容状态对可作出状态合并图。从 状态合并图得到最大相容类为{A，B，D}、 {A，C，D}、{A，C，E}。 ③作闭覆盖表，求最小闭覆盖。由得到的3 个最大相容类，可作出其闭覆盖表。 B AC C AD × D √ √ √ E √ × AD BC A B C D 最大相容类 覆 盖 闭 合 A B C D E X=0 X=1 ABD A B D AC B ACD A C D AD B