Formal Verification 퀴즈

각 챕터의 핵심 개념 이해도를 확인합니다. Bloom's Taxonomy 분포를 적용해 암기/이해/적용/분석/평가 수준의 문항이 섞여 있습니다.

챕터별 퀴즈

• Module 01 — Unit 1: Formal Verification 기본 개념
• Module 02 — Unit 2: SVA (SystemVerilog Assertions)
• Module 03 — Unit 3: JasperGold 활용 + DV 전략
• Module 04 — Formal Verification — Quick Reference Card

사용법

1. 챕터 본문을 학습한 후 해당 모듈의 퀴즈 페이지로 이동
2. 정답을 머릿속으로 정한 뒤 "정답 / 해설" 영역을 펼쳐 확인
3. 틀린 문항은 본문 해당 절을 다시 학습