数字逻辑：同步时序电路

目录

电路分类

区别

状态图与状态表不同

状态表区别 

状态图区别

状态化简

观察法-隐含表

顺序比较

关联比较

 状态编码

相邻法

相邻状态确定

分配编码

 激励表

四个激励表

​编辑

设计电路：用触发器实现状态表的功能

思路

列写激励函数-输出函数表

列写激励-输出逻辑表达式：卡诺图方法

---

电路分类

区别

Mealy 型电路  ：输出 Z 由现态 y 与 x 决定

Moore 型电路 ：输出 Z 由现态 y 决定

状态图与状态表不同

状态表区别 

Mealy 输出 Z 分布在次态格，这样子同个现态 y 就可以和不同输入 x 生成不同的输出 Z 与 不同的次态 y

Moore 输出 Z 分布在最后一列，因为输出只由现态决定，所以放最后一行少写一点

状态图区别

Mealy 输出写在箭头上，从一个现态出发，结合不同输入，就可以通往不同次态并产生不同输出

状态化简

观察法-隐含表

顺序比较

1. 画表，缺头少尾
2. 从 A 开始，从左到右顺序检查
3. 输出明显不同，直接打叉（如AB输出一个是 0 0 0 0 ，一个是 1 0 1 0，这就不可能等价啦，打叉就完事）
4. 输出相同，把待定的次态写入小格

关联比较

1.  对小格子进行检查，如果要判断的状态里有非等效类就划
2. 最后剩下的集合成最大等效类
3. 看原来的状态表，写最小化状态表

 状态编码

相邻法

相邻状态确定

同个次态的现态最好相邻

同个现态里的次态最好相邻

同个输出的现态最好相邻

优先等级递减

分配编码

00 分配给 A 或分配给次态出现最多的态

 激励表

四个激励表

固定现态->固定次态对输入的要求

设计电路：用触发器实现状态表的功能

思路

现态 -> 次态/输出的状态表是需求，根据需求使用激励表，填写现态应对应的激励；

实现现态与激励对应的方法是，用基本逻辑电路，设计用 x、y 产生对应激励的信号

列写激励函数-输出函数表

例如：想要在 x = 0 实现现态 1 -> 次态 0 ：查表得要求 JK 端为 0 X ，写入激励函数表

列写激励-输出逻辑表达式：卡诺图方法

因为我们要用现态与电路输入，产生触发器的输入端，实现我们的功能

所以我们列触发器输入端与 x、y 的卡诺图，化简即可

最后连接电路即是设计完成