VRF-07 – Advanced Formal Verification

Course Description

This is the advanced course of a two course formal verification progression. It assumes comprehensive knowledge of “Applied Formal Verification” and applies formal methods to the problems that dominate real Altera SoC designs: bus protocol and interface verification, full SoC integration, clock and reset domain crossing signoff, arithmetic datapaths, security and information flow, DSP/AI accelerator blocks, large design proof scaling, and safety critical evidence — culminating in an advanced specification to signoff.

Because this course is a follow on, it does not reteach the foundation material. Instead it opens with a compact review that recaps the essentials — SVA, assume/assume-guarantee, proof engines, counterexample triage, and equivalence checking — so that students returning after the foundation course can recalibrate quickly. The review bridge adds no new depth; everything beyond it is new, advanced content.

Course Duration: 2 Days