Verification
Advanced Functional Verification I
UVM-based testbenches, sequences, hierarchical tests and functional coverage.
Training
Functional verification with UVM, SVA assertions, formal and mixed-signal verification.
Topics in this area
UVM-based testbenches, sequences, hierarchical tests and functional coverage.
Formal property verification, SVA convergence, counterexample analysis and formal coverage.
Real-number modelling, EEnet and end-to-end verification of mixed-signal circuits.
Course names are kept in English, as in the official catalogue.
Companies and institutions
We define the programme around your group’s profile, prior knowledge and objective.
Request a programmeHow we define it