数字逻辑第三章..ppt

状态表化简 ● 二 、状态表化简 ● 1 、状态合并的条件 X Qn 0 1 A A/0 B/0 B C/0 B/0 C A/0 D/1 D A/0 B/0 Q n+1/Z 状态一致 X Qn 0 1 A’ A’/0 B/0 B C/0 B/0 C A’/0 A’/1 X Qn 0 1 A C/1 B/0 B C/1 E/0 C B/1 E/0 D D/1 B/1 E D/1 B/1 状态一致 次态交错 B、C输出一致 X Qn 0 1 A B’/1 B’/0 B’ B’/1 D’/0 D’ D’/1 B’/1 A、D合并，用A’代替。A=D=A’ D、E合并，用D’代替。 B、C合并，用B’代替。 A、D等价 D、E等价 B、C等价 目的：减少触发器的个数 状态等效条件 X Qn 0 1 A A/0 B/0 B A/1 C/0 C D/1 C/0 D A/0 C/0 Q n+1/Z BC要等价，AD就要等价 X Qn 0 1 A’ A’/0 B’/0 B’ A’/1 B’/0 AD要等价， BC就要等价 输出相等，状态对循环 BC用B’表示 AD用A’表示 状态等价的条件： * 两状态的输出Z完全相等，次态也相等。 * 两状态的输出Z完全相等，次态对与现态对呈交错。 * 两状态的输出Z完全相等，次态循环。 一对一法、计数器法 “一对一”法即“每状态一触发器”法。 “计数器”法，给状态进行编码，状态分配 一对一法 计数器法 QA QB QC QD Q2 Q1 S0 1 0 0 0 0 0 S1 0 1 0 0 0 1 S2 0 0 1 0 1 0 S3 0 0 0 1 1 1 4个状态 4个触发器 2个触发器 状态方程 NS=∑C·PS 触发器为1的项相加 ● 三 、状态分配（状态编码） “一对一”法 方法 “计数器”法 次态 现态 转换条件 状态图转换为MDS图 MDS图 Mnemonic Documented State Diagram C D X1X2 11 01,00 A B E 10 1011 00 01 C D A B E409 P95 当输入变量较多时，用文字描述转换条件 C D A B E X1X2 状态图转换为MDS图 X1⊙X2 条件综合 P95 图3. 55 一对一法 PS NS 转换条件 S0 S0 X1⊙X2 S1 X1X2 S3 X1X2 S1 S0 X1 S1 X1X2 S2 X1X2 S2 S0 X1X2 S1 X1X2 S2 X1X2 S3 X1X2 S3 S0 X2 S2 X1X2 S3 X1X2 S0=1000 S1=0100 S2=0010 S3=0001 状态分配：QAQBQCQD PS QAQBQCQD NS QAQBQCQD 转换条件 1000 1000 X1⊙X2 0100 X1X2 0001 X1X2 0100 1000 X1 0100 X1X2 0010 X1X2 0010 1000 X1X2 0100 X1X2 0010 X1X2 0001 X1X2 0001 1000 X2 0010 X1X2 0001 X1X2 P95 一对一法 一对一法 PS QAQBQCQD NS QAQBQCQD 转换条件 1000 1000 X1⊙X2 0100 X1X2 0001 X1X2 0100 1000 X1 0100 X1X2 0010 X1X2 0010 1000 X1X2 0100 X1X2 0010 X1X2 0001 X1X2 0001 1000 X2 0010 X1X2 0001 X1X2 列出所有QA=1的项 根据 NS=∑C·PS 列出所有QB=1的项 列出所有QC=1的项 列出所有QD=1的项 采用D触发器 Qn+1=D 逻辑电路如 P97 图3.58 一对一法图 =DA =DB =DC =DD 一对一法例题 QAQBQC PS QAQBQC NS 转换条件 Z 100 010 X 0 100 X 010 100 X 1 001 X 001 001 X 0 100 X A=100 B=010 C=001 状态分配：QAQBQC DA QA DC QC DB QB CP 例 用一对一法完成设计。 QAX QBX QCX QAX QBX QCX PS NS 条件 Z A B X 0 A X B A X 1 C X C C X 0 A X 状态方程： 激励方程： 输出方程： 0 1 C/0 A/0 B/1 1 0 0 1 X 计数法 X Qn 0 1 A A/0 B/0 B D/1 C/0 C B/1 A/1