目录
电路分类
区别
Mealy 型电路 :输出 Z 由现态 y 与 x 决定
Moore 型电路 :输出 Z 由现态 y 决定
状态图与状态表不同
状态表区别
Mealy 输出 Z 分布在次态格,这样子同个现态 y 就可以和不同输入 x 生成不同的输出 Z 与 不同的次态 y
Moore 输出 Z 分布在最后一列,因为输出只由现态决定,所以放最后一行少写一点
状态图区别
Mealy 输出写在箭头上,从一个现态出发,结合不同输入,就可以通往不同次态并产生不同输出
状态化简
观察法-隐含表
顺序比较
- 画表,缺头少尾
- 从 A 开始,从左到右顺序检查
- 输出明显不同,直接打叉(如AB输出一个是 0 0 0 0 ,一个是 1 0 1 0,这就不可能等价啦,打叉就完事)
- 输出相同,把待定的次态写入小格
关联比较
- 对小格子进行检查,如果要判断的状态里有非等效类就划
- 最后剩下的集合成最大等效类
- 看原来的状态表,写最小化状态表
状态编码
相邻法
相邻状态确定
同个次态的现态最好相邻
同个现态里的次态最好相邻
同个输出的现态最好相邻
优先等级递减
分配编码
00 分配给 A 或分配给次态出现最多的态
激励表
四个激励表
固定现态->固定次态对输入的要求
设计电路:用触发器实现状态表的功能
思路
现态 -> 次态/输出的状态表是需求,根据需求使用激励表,填写现态应对应的激励;
实现现态与激励对应的方法是,用基本逻辑电路,设计用 x、y 产生对应激励的信号
列写激励函数-输出函数表
例如:想要在 x = 0 实现现态 1 -> 次态 0 :查表得要求 JK 端为 0 X ,写入激励函数表
列写激励-输出逻辑表达式:卡诺图方法
因为我们要用现态与电路输入,产生触发器的输入端,实现我们的功能
所以我们列触发器输入端与 x、y 的卡诺图,化简即可
最后连接电路即是设计完成