DV

DV SKOOL

디자인 검증(Design Verification) 학습 허브

18 토픽 111 챕터 MkDocs Material 기반

DV 코어

검증 방법론과 표준 프로토콜의 토대.

Universal Verification Methodology — 아키텍처, phase, agent, sequence, factory, TLM

APB, AHB, AXI, AXI-Stream — ARM의 표준 버스 프로토콜

Formal Verification

SVA, JasperGold — 정형 검증 기법과 실전 전략

메모리 & 스토리지

DRAM부터 NAND 기반 storage까지, 메모리 서브시스템 전반.

페이지 테이블, TLB, IOMMU/SMMU, 성능 분석

DRAM 기본, 메모리 컨트롤러, PHY, DV 방법론

UFS 프로토콜 스택, HCI 아키텍처, UPIU command flow

인터커넥트

칩 안팎을 연결하는 고속 직렬 인터커넥트.

3-layer, TLP/DLLP, LTSSM, Config/AER, SR-IOV/CXL

네트워크 🔓

고대역 네트워크와 RDMA — 7-click 이스터에그로 잠금 해제됨.

이더넷 기본, DCMAC 아키텍처와 DV

TCP/IP Offload Engine — 아키텍처와 핵심 기능

RDMA (IB & RoCEv2 + UEC)

IB / RoCEv2, QP·MR, DV 전략, Ultraethernet, GPUBoost / RDMA-IP HW, Lab Manuals

RDMA Verification

RDMA-TB 아키텍처, Error Handling Path, 4대 디버깅 케이스 (Data Integrity / CQ Poll Timeout / C2H Tracker / Unexpected Error CQE)

SoC & 보안

SoC top-level 통합, 보안 부팅, 가상화/격리.

SoC Integration (CCTV)

SoC top integration, 공통 task, TB top, AI 활용

SoC Secure Boot

Hardware RoT, chain of trust, crypto, attack surface

Exception level, TrustZone, secure enclave, TEE

CPU/메모리/IO 가상화, 하이퍼바이저, 컨테이너

Automotive Cybersecurity

CAN bus, 자동차 SoC 보안, Tesla FSD case study

응용 & 알고리즘

DV 실무에 응용 가능한 AI/알고리즘 토픽.

LLM, 프롬프트 엔지니어링, RAG, agent 아키텍처, DV 활용

BigTech Algorithm

코딩 인터뷰 핵심 — Big-O, 자료구조, 알고리즘 + SystemVerilog 예제