7. Sequential Circuit Analysis
(top-down) 지금까지는 어떤 함수를 만들 것인지 정하고 그에 맞는 설계를 design합니다.
(bottom-up) 설계도를 보고 어떤 함수인지 알아내는 것 (리버스 엔지니어링)
0) 풀이법 정리
1> equation 구하기 (4번의 역)
input(x)과 present state(q, Flip-Flop의 present output)을 이용하여 [1]과 [2]를 구합니다.
[1] Flip-Flop input(D_k)
[2] output(z) → [3] Moore vs Mealy를 판단 (output이 state로만 결정 vs output이 input & state로 결정)
2> State Table 구하기 (3, 2번의 역)
[1] Flip-Flop에서 input(D_k)과 next state(q*, Flip-Flop의 next output)과의 관계 구하기
→ [2] Flip-Flop의 present state(q)와 next state(q*)의 관계 알기
→ [3] 이를 통해, (q와 q*의 관계를 알게되어) State Table을 완성할 수 있습니다.
3> State Diagram (1번의 역)
1) 1번 예제
1> equation 구하기
[1] Flip-Flop input
[2] output → [3] Moore (output이 state로만 결정됩니다.)
2> State Table 구하기
[1] Flip-Flop에서 input과 next output(next state)과의 관계 구하기
→ [2] Flip-Flop의 present state(q)와 next state(q*)의 관계 알기
→ [3] 이를 통해, (q와 q*의 관계를 알게되어) State Table을 완성할 수 있습니다.
3> State Table
2) 예제 2번
3) 예제 3번