Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-FVSAcad. year: 2019/2020
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.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
branch MMI , 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, electivebranch 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, elective
specialization NEMB , 0 year of study, summer semester, compulsoryspecialization 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 NISD , 0 year of study, summer semester, electivespecialization NSEC , 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 NSPE , 0 year of study, summer semester, electivespecialization NADE , 0 year of study, summer semester, electivespecialization NMAT , 0 year of study, summer semester, electivespecialization NISY , 0 year of study, summer semester, elective
Lecture
Teacher / Lecturer
Syllabus
Laboratory exercise
Project