[디지털논리회로2] 5. 유한 상태 머신

Finite State Machine

순차(Sequential) 회로에 크게는 입력(Input), 출력(Output), 그리고 상태(State)가 존재해야 한다. 이는 밀리 모델과 무어 모델 둘 다 동일하게 필요한 선행조건이며 단지 출력을 만드는 방법에서의 차이만이 존재한다.

아래 블록도를 보면 F/F Input을 만드는 데 있어 Ext Input과 State 둘 다 필요한 것을 알 수 있다. 다만 출력 부분으로 들어오는 Input을 자세히 볼 필요가 있다.

 

1. Mealy Model(밀리 모델)

밀리 모델에서 Ext Output을 만들기 위해서는 Ext Input과 State가 필요하다.

 

 

2. Moore Model(무어 모델)

무어 모델에서 Ext Output을 만들기 위해서는 State만을 필요로 한다.

 

 

정리하면 Ext Input이 Ext Output을 생성하는 데 쓰이는지 안 쓰이는지에 따라 모델 구별이 되는 것이다.

이 때, 무어 모델은 State에 의해서만 Ext Output을 만들게 되는데 따라서 클럭(Clock ; CLK)에 동기화되는 것을 알 수 있다.

하지만 밀리 모델은 인풋에 의해 출력값이 변할 수 있다는 것인데 문제가 되는 것은 CLK와 동기화가 되어있지 않다면 입력값이 변화했을 때에 그에 맞는 출력값이 도출되지 않을 수 있다.