유한 상태 머신 설계: 개념부터 구현까지

지금까지 조합 논리에 집중했는데, 출력이 현재 입력에만 의존합니다. 많은 실전 애플리케이션에서 회로는 과거 입력 기억 유지하고 그에 따라 출력 조정해야 합니다. 이런 회로를 순차 회로라 부릅니다.

이 글은 순차 회로 설계의 엔드-투-엔드 과정을 실전 예제로 안내: 사용자 버튼 누를 때마다 단일 클럭 사이클 HIGH 펄스 생성해야 하는 디지털 퀴즈 게임.

1단계 – 요구사항 정의

일반 언어로 원하는 동작 기술:

"버튼 눌릴 때 한 클럭 사이클 동안 HIGH 펄스 내보내고, 버튼 떼고 다시 누를 때까지 추가 누름 무시하는 보조 회로 필요."

2단계 – 상태 다이어그램 그리기

상태 다이어그램 머신 동작 시각화. 각 원은 상태, 화살표는 매 클럭 사이클 입력에 의해 트리거되는 전이 나타냄. 아래 다이어그램은 무어 유한 상태 머신, 출력이 현재 상태에만 의존.

상태 설명:

• 대기(Stand-by) – 초기 대기 상태.
• 펄스 활성화(Activate Pulse) – HIGH 출력 생성.
• 대기 루프(Wait Loop) – 버튼 떼질 때까지 LOW 출력 유지.

화살표엔 전이 트리거하는 입력 값 레이블. 예: 대기 상태에서 '1' 입력이면 펄스 활성화로 이동, '0'이면 대기 유지.

3단계 – 상태 이진 인코딩

각 상태에 이진 코드 할당, 초기 상태 0부터 시작. 아래 인코딩 두 비트 사용, 세 상태 충분.

4단계 – 상태표 구성

상태표는 현재 상태와 입력 모든 조합, 다음 상태, 출력 나열. 열은 현재 상태 비트, 입력 비트, 다음 상태 비트, 출력 비트 대응. 예제 표 아래와 같음.

핵심 포인트:

• 각 행 상태와 입력 가능한 모든 이진 조합 커버.
• 존재하지 않는 상태 해당 행은 돈-케어(X) 표시.
• 출력 열은 입력 무관한 무어 출력 반영.

5a단계 – D-플립플롭 구현 준비

머신 구현 위해 보통 플립플롭 사용. D-플립플롭 경우 다음 상태 도달 위해 필요한 입력이 다음 상태 값 자체. 상태표에 각 D 입력용 열 확장.

5b단계 – JK-플립플롭 구현 준비

JK-플립플롭 선택 시 플립플롭당 두 열(J, K) 추가. 값은 JK 여기표에서 유도:

예 매핑: 0→1 전이 위해 J=1, K=X(돈-케어) 설정.

6단계 – 카르노 맵으로 불 함수 유도

카르노 맵 사용해 각 플립플롭 입력과 출력 식 단순화. 아래 맵들 D, JK 구현 둘 다 과정 예시.

D-플립플롭 입력:

JK-플립플롭 입력:

출력 함수:

7단계 – 물리 회로 구축

불 방정식 확보 후 플립플롭과 논리 게이트로 회로 조립. 모든 플립플롭에 클럭 연결 잊지 마세요. 완성된 D-플립플롭 설계 아래와 같음.

JK-플립플롭 버전:

조립 후 회로는 버튼 얼마나 오래 눌리든 각 누름마다 깔끔한 한-클럭-사이클 HIGH 펄스 생성.

핵심 요약

• 순차 논리는 과거 입력 기억 유지해 동적 동작 가능케 함.
• 유한 상태 머신 그런 동작 모델링 엄격한 프레임워크 제공.
• 플립플롭이 FSM 하드웨어 구현, 상태 전이 물리적 출력으로 변환.
• 체계적 설계 흐름—요구사항, 다이어그램, 인코딩, 표, 논리 합성, 조립—신뢰성 있는 회로 보장.