[REV]时序电路

Defination

不仅和现在的输入有关也和过去的状态有关的电路.有反馈回路.

触发器

R-S

$$\begin{gathered} S=1\to 1 \\ R=1\to 0 \\ S=0R=0\to Keep \\ S=1R=1\to Banned \end{gathered}$$

D

略.

J-K

$$\begin{gathered} J=1\to 1 \\ K=1\to 0 \\ J=0K=0\to Keep \\ J=1K=1\to Reverse \end{gathered}$$

T

$$\begin{gathered} T=0\to Keep \\ T=1\to Reverse \end{gathered}$$

Description

• 状态转移真值表$Q^{n+1}=f(Q^n)$
• 次态卡诺图
• 特征方程$Q^{n+1}=f(Q^n)$
• 状态转移图
• 激励表$0\to 1,process$
• 波形图

空翻

输入变化快于时钟

主从结构:

1. 上升沿,主触发器工作,从触发器锁定
2. 下降沿,主触发器锁定,将信息传入从触发器,从触发器工作输出.

Mealy&Moore

• Mealy:$Output=f(trigger,\ast \ast Input\ast \ast )$
• Moore:$Output=f(trigger)$

分析&设计

见https://blog.csdn.net/POTASSIUM711/article/details/89140079等.
https://blog.csdn.net/POTASSIUM711/article/details/89321080

激励表达式-次态表达式-输出表达式

等效类

• 指向(输出)相同
• 循环指向
• 次态交叉

隐含表

For each Pair: √ or × or Under some conditions

编码分配规则

• 次态相同,现态相邻.
• 同一现态,次态相邻.
• 输出相同,现态相邻.

有不确定项的电路设计

见https://blog.csdn.net/POTASSIUM711/article/details/89365241

FSM有限状态机