Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-FVSAcad. year: 2023/2024
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
Entry knowledge
Rules for evaluation and completion of the course
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.
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.
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Elearning
Classification of course in study plans
branch MBS , 0 year of study, summer semester, electivebranch MPV , 0 year of study, summer semester, electivebranch MIS , 0 year of study, summer semester, electivebranch MIN , 0 year of study, summer semester, electivebranch MGM , 0 year of study, summer semester, electivebranch MBI , 0 year of study, summer semester, electivebranch MSK , 0 year of study, summer semester, electivebranch MMM , 0 year of study, summer semester, elective
specialization NISY , 0 year of study, summer semester, electivespecialization NSPE , 0 year of study, summer semester, electivespecialization NBIO , 0 year of study, summer semester, electivespecialization NSEN , 0 year of study, summer semester, electivespecialization NVIZ , 0 year of study, summer semester, electivespecialization NGRI , 0 year of study, summer semester, electivespecialization NADE , 0 year of study, summer semester, electivespecialization NISD , 0 year of study, summer semester, electivespecialization NMAT , 0 year of study, summer semester, electivespecialization NSEC , 0 year of study, summer semester, electivespecialization NISY up to 2020/21 , 0 year of study, summer semester, electivespecialization NCPS , 0 year of study, summer semester, electivespecialization NHPC , 0 year of study, summer semester, electivespecialization NNET , 0 year of study, summer semester, electivespecialization NMAL , 0 year of study, summer semester, electivespecialization NVER , 0 year of study, summer semester, electivespecialization NIDE , 0 year of study, summer semester, electivespecialization NEMB up to 2021/22 , 0 year of study, summer semester, compulsoryspecialization NEMB , 0 year of study, summer semester, elective
Lecture
Teacher / Lecturer
Syllabus
Laboratory exercise
Project