강의목표
-Verilog HDL 대비 SystemVerilog가 가진 확장된 설계 편의 기능과 하드웨어 스케줄링 메커니즘을 정확히 이해한다.
-무작위 제약 조건 기반 검증(CRV) 환경 구축을 위한 핵심 문법 구조 및 배열 처리 기법을 습득한다.
-객체지향 프로그래밍(OOP) 및 기능 커버리지(Functional Coverage)를 활용하여 재사용 가능하고 정량적인 SoC 검증 프레임워크의 기틀을 마련한다.
강의개요
SystemVerilog 기반의 Constrained Random Verification(제약 조건 무작위 검증) 환경 구축 능력을 배양하는 과정이다. 16x16 Router 모델을 검증 대상(DUT)으로 삼아, 시뮬레이션 레이스 컨디션을 방지하는 구조적 검증 환경 구축법을 다룬다. 아울러 데이터 타입 제어, 동적 배열 처리, 객체지향 프로그래밍(OOP) 기반 캡슐화, Functional Coverage 구조 설계 및 UVM 프레임워크의 기초 개념을 포함하여, 실무 검증 방법론을 체계적으로 습득하는 것을 목표로 한다.
참고사항
♦ 출석 100%, 퀴즈 3/5문제 통과시 수료증이 발급됩니다.
♦ 수강신청 기간 내에 홈페이지에서 수강 취소해야 정상 취소처리 됩니다.
♦ 1개 교육에 대해 전일 결석시, 향후 8개월간 수강 신청이 자동으로 제한되며, 기존 수강신청도 전면 취소됩니다
강좌상세
| 일자 |
2026-07-22 |
시간 |
10:00 ~ 11:30 |
강사 |
권나영 사원 시높시스 코리아 |
| 내용 |
○ Unit 1. DUT 분석: 16x16 Router 신호 특성 및 패킷 직렬 전송 타이밍 구조 분석
○ Unit 2. SV 검증 환경 개요: 테스트벤치 시뮬레이션 프로세스 및 구조적 오류 방지 기법
|
| 일자 |
2026-07-22 |
시간 |
13:00 ~ 17:00 |
강사 |
권나영 사원 시높시스 코리아 |
| 내용 |
○ Unit 2. SVTB 아키텍처: program, interface, clocking block 제어 및 VCS 옵션
○ Unit 3 & 4. SV 기본 문법 (1): 2-State/4-State 데이터 타입, Dynamic Array 및 Queue 배열 처리
○ Unit 3 & 4. SV 기본 문법 (2): enum/struct, 스트리밍 연산자, Task/Function 및 ref 인자 전달
○ [Lab 1] SV 검증 기초 실습: Router Interface 정의, VCS 컴파일 및 시뮬레이션 환경 검증
|
| 일자 |
2026-07-23 |
시간 |
10:00 ~ 11:30 |
강사 |
권나영 사원 시높시스 코리아 |
| 내용 |
○ Unit 5. Concurrency 제어: fork...join/any/none 스레드 생성 및 스케줄러 메커니즘
○ Unit 5. 병렬 스레드 고도화: 스레드 간 변수 공유 이슈 제어, Watch-dog 타이머 및 스레드 종료
|
| 일자 |
2026-07-23 |
시간 |
13:00 ~ 17:00 |
강사 |
권나영 사원 시높시스 코리아 |
| 내용 |
○ Unit 6. OOP - Encapsulation: Class 구조화, new() 생성자, this 키워드 및 local/protected 데이터 은닉
○ Unit 6. 가상 인터페이스 및 패키지: virtual interface 신호 구동, Parameterized Class 및 package 구성
○ Unit 7. OOP - Randomization: 무작위 속성(rand/randc), inside/dist/soft 제약 조건 설계 기법
○ [Lab 2 & 3] 검증 컴포넌트 실습: Driver/Transactor 구현, 멀티스레드 Monitor 및 Self-Check 환경 구축
|
| 일자 |
2026-07-24 |
시간 |
10:00 ~ 11:30 |
강사 |
권나영 사원 시높시스 코리아 |
| 내용 |
○ Unit 8. OOP - Inheritance: Class 상속 구조, super 키워드 제어 및 virtual 메서드 다형성 구현
○ Unit 9. 스레드 간 통신 (ITC): event 순서 제어, 자원 공유 semaphore 및 데이터 전달
|
| 일자 |
2026-07-24 |
시간 |
13:00 ~ 17:00 |
강사 |
권나영 사원 시높시스 코리아 |
| 내용 |
○ Unit 10. Functional Coverage (1): CDV 방법론, covergroup/coverpoint 정의 및 bins 설계
○ Unit 10. Functional Coverage (2): cross coverage 생성 기법, Synopsys URG 툴 기반 HTML 리포트 분석
○ Unit 11. UVM 방법론 Preview: UVM 표준 아키텍처 개요 및 핵심 베이스 클래스 구조 맛보기
○ [Lab 4 & 5 & 6] 고도화 및 커버리지 최종 실습: Packet 클래스 제약 설계, 16개 포트 병렬 구동 및 URG 커버리지 분석
|
강의장소
대전 KAIST N26동 1층 IDEC 실습실
담당자 연락처
|
