디지털 논리회로 · Altifigence Academy

01디지털 신호와 수 표현

디지털 신호: 전압을 0과 1로 읽는 조건개념

수 체계와 고정 폭 표현개념

02논리 게이트와 진리표

기본 게이트: AND·OR·NOT·BUFFER개념

NAND·NOR와 반전 기호 읽기개념

XOR·XNOR: 같음, 다름과 패리티개념

범용 게이트: NAND만으로 회로 만들기개념

03논리식에서 회로 설계까지

불 대수, 등가 변환과 구현 비용개념

진리표에서 논리식으로: 최소항·최대항·SOP·POS개념

카르노 맵과 don’t-care의 조건개념

설계 실습: 명세에서 3입력 다수결 회로까지실습

04주소와 선택 회로

디코더, 원핫 선택과 유효 입력개념

인코더와 우선순위: 여러 요청 중 하나 고르기개념

DEMUX와 디코더: 선택한 경로로 데이터 보내기개념

신호와 포트: 비트 폭·방향·동작 시점개념

진리표에서 MUX와 Shannon 전개로개념

05산술회로와 비교

가산기와 캐리 전달 구조개념

2의 보수, 부호 확장과 오버플로개념

비교기와 경계값 조건개념

06래치·플립플롭과 상태 저장

기억의 시작: 피드백과 SR·D 래치개념

D 플립플롭: 레벨에서 에지로개념

플립플롭, enable과 제어 우선순위개념

동기식 상태 전이와 클록의 역할개념

07MUX의 RTL 구현과 검증

조합 선택과 레지스터 출력의 지연개념

조합 RTL: 모든 경로에서 출력 대입하기개념

실습: MUX의 전수 검사와 레지스터 출력 분석실습

파형의 샘플링 시점과 인과관계개념

MUX 검증: 전수 검사와 속성개념

설계 확인: 선택 회로의 등가성과 관찰 시점이해 확인

08카운터와 동기식 상태 갱신

상태 개수, 카운터 폭과 사용하지 않는 코드개념

카운터의 다음 상태와 리셋 우선순위개념

Nonblocking 대입과 동시 상태 갱신개념

실습: 카운터의 리셋·순환·불변식 검증실습

모듈러·포화 카운터와 종료 펄스개념

카운터 디버깅과 최소 반례개념

설계 확인: 비트 폭·제어 우선순위·순환 조건이해 확인

09시프트 레지스터와 데이터 흐름

실습: 직렬 데이터의 이동과 비트 순서 검증실습

사이클 지연과 처리율을 구분하기개념

시프트 회로 검증과 데이터·valid 정렬개념

설계 확인: 지연·정렬·입력 보존이해 확인

10타이밍·실제 입력·상태 기계

Setup·hold와 타이밍 예산개념

논리 해저드와 등가식의 한계개념

클록 도메인 경계와 준안정 상태개념

버튼 입력 처리: 동기화·디바운싱·이벤트 검출개념

상태 기계: 상태·전이·출력의 분리개념

검증 계획, 커버리지와 독립 참조 모델개념

종합 설계: 겹치는 101 패턴 검출기개념

11선택 심화 · 산술 데이터패스

ALU와 zero·negative·carry·overflow 플래그개념

Barrel shifter와 단계별 MUX개념

고정소수점·반올림·포화개념

다중 사이클 unsigned shift-add 곱셈기개념

12선택 심화 · 메모리와 FIFO

동기식 메모리와 읽기·쓰기 충돌 처리개념

읽기 포트 2개·쓰기 포트 1개인 레지스터 파일과 bypass개념

단일 클록 FIFO의 포인터와 empty·full 처리개념

FIFO·메모리 검증 계획과 독립 scoreboard개념

13선택 심화 · 파이프라인과 인터페이스

Ready/valid로 제어하는 1칸 버퍼개념

곱셈·덧셈 파이프라인과 데이터 정렬개념

멈출 수 있는 파이프라인과 backpressure개념

레지스터 인터페이스와 상태 변경 시점개념

종합 실습: UART 송신기와 프레임 타이밍개념

학습 목차