Curriculum

반도체 설계검증 통합 교육 커리큘럼

SystemVerilog 기초부터 레퍼런스 DUT 설계검증, UVM까지 이어지는 13개 트랙 커리큘럼. 기초(89h)·설계자(64h)·속성(8h) 3단계 과정으로 구성되어 역량과 일정에 맞춰 선택할 수 있습니다.

KSDC — Korea Semiconductor Design Company
교육기관KSDCsemi

실습형 반도체 설계검증 교육기관

강사백종섭

KSDCsemi CEO · 건양대학교 국방반도체공학과 부교수

과정 구성

전 트랙은 쉽게 설명하는 이론과 핸즈온 스텝바이스텝 실습 중심으로 설계되었으며, 강사가 현업에서 직접 부딪혔던 어려움을 쉽게 풀어내는 실무형 강의로 진행됩니다.

기초 과정 12일 수업계획

반도체 설계 및 설계 검증에 입문하는 학생(학부생 3-4학년, 대학원생)을 위한 완주형 과정. SystemVerilog 기본 문법부터 CPU·패킷 라우터 설계검증, UVM 재사용 아키텍처까지 13개 트랙 전체를 처음부터 끝까지 체득한다.

  • 1단계SystemVerilog 언어 설계 및 검증 기초 실무4일 · TRACK 1~5

    데이터 타입 · procedural · interface 설계 · fork-join 병렬 프로세스 · Class OOP·상속·다형성 · Constrained Random · Queue/Array · SVA Implication · Covergroup·Cross Coverage — 실습으로 ALU·Regfile·PC·Control FSM 설계, Core 통합, 머신코드 프로그램 End-to-End 시뮬레이션 검증

  • 2단계정량 기반 RTL 설계검증 고급 실무4일 · TRACK 6~8

    레퍼런스 DUT RTL을 단계별로 완성하고, SystemVerilog bind로 분리한 검증 환경에서 Constrained Random Stimulus·SVA Property·Self-checking으로 시나리오를 판정한다. Coverage Hole의 Root Cause에 따라 RTL ECO, Formal·UNR, Constraint Tuning을 연계해 Functional·Assertion·Code Coverage 100% Closure를 달성한다.

  • 3단계UVM 기반 검증 환경 구축 실무4일 · TRACK 9~13

    Sequence Item부터 Driver·Monitor·Agent·Scoreboard까지 UVM 컴포넌트를 직접 구현해 UVC로 패키징하고, Top Environment·Test 계층에서 End-to-End 시뮬레이션을 수행한다. RAL 레지스터 모델링, Virtual Sequence 멀티 버스 제어, Factory Override를 거쳐 SoC 수준에서 재사용 가능한 UVC 아키텍처를 완성한다.

트랙별 시간표

Track기초설계속성
1. SystemVerilog 설계92-
2. SystemVerilog 검증77-
3. SystemVerilog 커버리지66-
4. SystemVerilog 활용 설계 실습61-
5. SystemVerilog 활용 검증 실습33-
6. 커버리지 기반 검증 설계1411
7. 커버리지 기반 검증663
8. 커버리지 클로저·ECO774
9. UVM 컴포넌트99-
10. UVM 통합·테스트44-
11. UVM 레지스터 추상화88-
12. UVM 가상 시퀀스55-
13. UVM 재사용 아키텍처55-
합계89h64h8h
기초
반도체 설계 및 설계 검증에 입문하는 학생(학부생 3-4학년, 대학원생)
설계
반도체 설계는 경험이 있으나, 설계 검증에 입문하시는 학생
속성
설계 전문가이나 설계검증 전주기를 체득하고 싶은 학생

13개 트랙 상세 커리큘럼

01
SystemVerilog 설계

SystemVerilog 데이터 타입부터 언어 구조, procedural, task/function, interface 설계까지

02
SystemVerilog 검증

OOP 핵심 개념, 병렬 프로세스 제어 및 Class 기반 Constrained Randomization

03
SystemVerilog 커버리지·검증구문

Queue/Associative Array, SVA 및 Functional Coverage 수집 환경 구축

04
SystemVerilog 활용 설계 실습

8bit RISC CPU 서브블록(ALU, Regfile, PC, Control FSM) 설계·통합

05
SystemVerilog 활용 검증 실습

머신코드 어셈블리 프로그램 로딩 및 파이프라인·제어 시뮬레이션 검증

06
커버리지 기반 검증 설계

데이터·컨트롤 버스 기반 4채널 패킷 라우터 RTL 단계별 구현

07
커버리지 기반 검증

완성된 DUT RTL을 고정 레퍼런스로 SystemVerilog 검증 환경 구축

08
커버리지 클로저·ECO

커버리지 갭 분석, 코너 스티뮬러스, Formal 분석·RTL ECO로 100% Closure 달성

09
UVM 컴포넌트

UVM 기본 아키텍처 컴포넌트(Sequence, Driver, Monitor, Scoreboard 등) 단계별 구현

10
UVM 통합·테스트

UVC 패키징, Top Environment/Test 계층 구축 및 End-to-End 시뮬레이션

11
UVM 레지스터 추상화

UVM RAL 및 컨트롤 버스 UVC를 결합한 레지스터 기반 검증 환경 통합

12
UVM 가상 시퀀스

Top-level 환경 통합, Virtual Sequence/Sequencer 구동 및 시나리오 제어

13
UVM 재사용 아키텍처

UVM 아키텍처 심화, Factory Override, TLM·UVC 재사용 체계 완성