PA122 Verification of ASIC Design

Fakulta informatiky
podzim 2026
Rozsah
0/2/1. 3 kr. (plus ukončení). Ukončení: k.
Vyučováno kontaktně
Vyučující
Mgr. Martin Klimeš (přednášející)
Ing. Jan Král, Ph.D. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)
Ing. Marcela Zachariášová, Ph.D. (přednášející)
Garance
doc. RNDr. Zdeněk Matěj, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky
Rozvrh seminárních/paralelních skupin
PA122/01: Po 14. 9. až Po 14. 12. Po 10:00–11:50 A415, M. Klimeš, J. Král, M. Zachariášová
Předpoklady
Basic knowledge of digital design.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Anotace
This course provides an overview about functional verification of digital systems. The attention is paid to creating testbenches and functional verification environments according to widely used verification methodologies (UVM). The aim is to understand how to detect and localize errors in digital systems and how to handle them properly.
Výstupy z učení
At the end of the course, students will be able to understand the basics of verification of digital designs: simulation, functional verification and its methods, basics of formal verification, FPGA prototyping. They will be able to analyze source codes and outputs of verification tools, to localize errors and to handle their correction. They will master creating basic verification environments in SystemVerilog language according to UVM verification methodology. They will gain the advantage for their future practice in the area of digital design.
Klíčová témata
  • Overview of lectures:
  • Motivation and history of verification
  • Simulation-based verification
  • Functional verification: Introduction, 4 pillars of UVM
  • Verification methodologies, introduction to UVM, basic testbench blocks
  • Self-checking mechanisms + LAB 1
  • SystemVerilog: data types, stimuli generation + LAB 2
  • Coverage analysis + LAB 3
  • Assertions-based verification + LAB 4
  • Invited lecture
  • Verification trends: Python, CocoTB, PSS
Přístupy, postupy a metody používané ve výuce
Lectures, seminars with practical tasks, and an individual project, which will be implemented during the school assignments and eventually finished at home.
Způsob ověření výstupů z učení a požadavky na ukončení
Individual projects and final examination, which consists of presenting individual projects and their oral defense.
Vyučovací jazyk
Angličtina
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2025.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2026/PA122