기초 과정 12일 수업계획
반도체 설계 및 설계 검증에 입문하는 학생(학부생 3-4학년, 대학원생)을 위한 완주형 과정. SystemVerilog 기본 문법부터 CPU·패킷 라우터 설계검증, UVM 재사용 아키텍처까지 13개 트랙 전체를 처음부터 끝까지 체득한다.
- 1단계SystemVerilog 언어 설계 및 검증 기초 실무
데이터 타입 · 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 설계검증 고급 실무
레퍼런스 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 기반 검증 환경 구축 실무
Sequence Item부터 Driver·Monitor·Agent·Scoreboard까지 UVM 컴포넌트를 직접 구현해 UVC로 패키징하고, Top Environment·Test 계층에서 End-to-End 시뮬레이션을 수행한다. RAL 레지스터 모델링, Virtual Sequence 멀티 버스 제어, Factory Override를 거쳐 SoC 수준에서 재사용 가능한 UVC 아키텍처를 완성한다.

