Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-FVSAcad. year: 2021/2022
Importance of functional verification. Requirements specification and verification plan. Simulation and creating testbenches. Functional verification and its methods (pseudo-random stimuli generation, coverage-driven verification, asserion-based verification, self-checking mechanisms). Verification methodologies and SystemVerilog language. Reporting and correction of errors. Emulation and FPGA prototyping. Validation.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
A student will understand the main techniques of functional verification of digital systems: simulation, functional verification and its methods, emulation and prototyping. He/she will be able to analyze source codes and outputs of verification tools, to localize errors and to handle their correction. He/she will master creating basic verification environments in SystemVerilog language according to UVM verification methodology.
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
Work placements
Aims
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) and to emulation. The aim is to understand how to detect and localize errors in digital systems and how to handle them properly.
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
eLearning
Classification of course in study plans
branch MBI , any year of study, summer semester, electivebranch MPV , any year of study, summer semester, electivebranch MGM , any year of study, summer semester, electivebranch MSK , any year of study, summer semester, electivebranch MIS , any year of study, summer semester, electivebranch MBS , any year of study, summer semester, electivebranch MIN , any year of study, summer semester, electivebranch MMM , any year of study, summer semester, elective
specialization NADE , any year of study, summer semester, electivespecialization NBIO , any year of study, summer semester, electivespecialization NGRI , any year of study, summer semester, electivespecialization NNET , any year of study, summer semester, electivespecialization NVIZ , any year of study, summer semester, electivespecialization NCPS , any year of study, summer semester, electivespecialization NSEC , any year of study, summer semester, electivespecialization NEMB , any year of study, summer semester, compulsoryspecialization NHPC , any year of study, summer semester, electivespecialization NISD , any year of study, summer semester, electivespecialization NIDE , any year of study, summer semester, electivespecialization NISY , any year of study, summer semester, electivespecialization NISY do 2020/21 , any year of study, summer semester, electivespecialization NMAL , any year of study, summer semester, electivespecialization NMAT , any year of study, summer semester, electivespecialization NSEN , any year of study, summer semester, electivespecialization NVER , any year of study, summer semester, electivespecialization NSPE , any year of study, summer semester, elective
Lecture
Teacher / Lecturer
Syllabus
Laboratory exercise
Project
Design and implementation of verification environment for a selected digital system.