用D触发器和尽可能少的逻辑门设计001序列检测电路.
设计思路:
(1)逻辑抽象: 设定输入/输出变量, 确定状态个数(触发器个数随之确定), 确定状态转换关系, 确定输出与输入的对应关系.
(2)根据状态转换关系, 绘制原始状态图.
(3)根据原始状态图, 绘制原始状态表.
(4)在原始状态表中寻找等价状态, 并将等价状态从原始状态表中剔除, 从而得到化简后的状态表.
(5)状态编码(这里采用自然顺序码).
(6)依据状态编码, 将化简后的状态表转换为状态真值表.
(7)根据状态真值表以及选择的触发器类型(这里为D触发器), 绘制状态激励表.
(8)用卡诺图化简法求输出方程和激励方程组.
(9)将激励方程组代入D触发器的特性方程中, 求出次态方程组.
(10)将无效状态代入次态方程组, 检查其次态是否是有效状态之一. 若其次态不是有效状态之一, 还须回到状态真值表中, 将该无效状态的次态改为任一有效状态, 之后从(7)依次进行.
(11)绘制状态图.
(12)绘制逻辑图.