数字逻辑_第八章(计算机专业).pptVIP

1、基本符号 一个ASM块至多包含三种不同类型的符号： 矩形状态框、菱形判别框和条件输出框。 注意图的标注与流程图的不同。 条件输出表 入口 出口 (c) 条件输出框 条件输出框的输入总是来自判别框，由这个判别框给出了输出所需要的条件，即在某一状态下，某个输出变量是输入变量的函数，就在条件输出框中填入条件满足时产生的输出。 功能说明 入口 出口 条件输出表 (c) 条件输出框 2、由逻辑流程图转换成ASM图 ASM图可以直接送入计算机辅助逻辑设计系统，由该系统自动完成控制单元的设计。 逻辑流程图可以很容易地转换成ASM图。 在ASM图中，所有的当前状态下的Moore型有效输出都应列在状态框内； 所有的当前状态下的满足输入条件的Mealy型有效输出都应列在条件输出框内。 十字路口交通灯控制器ASM图 NSCAR EWCAR 0 0 0 1 1 1 EWGeen NSRed,ENTM60 00 A TM60 TM3 0 1 NSYellow EWYellow,ENTM3 B 01 START EWPASS,NSSTOP NSCAR=1 EWCAR=1 TM60=1 0 0 0 1 1 1 TM3=1 0 1 EWHOLD,NSHOLD EWYellow NSYellow ENTM3 ↑ ↓ ↑ ↓ ↑ ↓ EWRed ↓ EWGeen NSRed ENTM60 ↑ ↓ ↑ ↓ ↑ ↓ EWRed ↓ EWGeen NSRed ENTM60 ↑ ↓ ↑ ↓ ↑ ↓ 十字路口交通灯控制器ASM图 NSCAR EWCAR TM40 0 0 0 1 1 1 NSGreen EWRed, ENTM40 11 C TM3 0 1 EWYellow NSYellow, ENTM3 10 D EWSTOP,NSPASS NSCAR=1 EWCAR=1 TM40=1 0 0 0 1 1 1 EWRed NSGreen ENTM40 ↑ ↓ ↑ ↓ ↑ ↓ TM3=1 0 EWHOLD,NSHOLD 1 EWYellow NSYellow ENTM3 ↑ ↓ ↑ ↓ ↑ ↓ 十字路口交通灯控制器ASM图 NSCAR EWCAR TM40 0 0 0 1 1 1 NSGreen EWRed, ENTM40 11 C NSCAR EWCAR 0 0 0 1 1 1 EWGeen NSRed,ENTM60 00 A TM60 TM3 0 1 NSYellow EWYellow,ENTM3 B 01 TM3 0 1 EWYellow NSYellow, ENTM3 10 D 3、应用ASM图进行数字系统中控制器的设计 主要步骤： （1）按设计要求写出问题说明。 （2）定义输入、输出信号并用助记符表示。 （3）将问题说明转换成详细逻辑流程图。 （4）将详细逻辑流程图转换成ASM图。 （5）从ASM图得到状态转换表。 （6）由状态转换表得到次态方程式，从ASM图列 出输出函数表达式。 （7）按照次态方程式及输出函数表达式，画出控 制器逻辑电路图。 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(A) NACAR EWCAR TM60 Sn+1 Q1Q0 0 — — NSCAR A Q1Q0 1 0 — NSCAR ? EWCAR B Q1Q0 1 1 0 NSCAR ? EWCAR ? TM60 A Q1Q0 1 1 1 NSCAR ? EWCAR ? TM60 B NSCAR EWCAR 0 0 0 1 1 1 EWGeen NSRed,ENTM60 00 A TM60 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(B) TM 3 Sn+1 Q1Q0 0 TM 3 B Q1Q0 1 TM 3 C TM3 0 1 NSYellow EWYellow,ENTM3 B 01 C 4、状态转换表达式表 现态 输 入 条 件 状态转换表达式 次态 S NACAR EWCAR TM40 TM3 Sn+1 Q1Q0 0 — — — NSCAR D Q1Q0 1 0 — — NSCAR ? EWCAR C Q1Q0 1 1 0 — NSCAR ? EWCAR ? TM40 C Q1Q0 1 1 1 — NSCAR ? EWCAR ? TM40 D Q1Q0 — — — 0 TM 3 D Q1Q0 — — — 1 TM 3 A NSCAR EWCA