How formal verification became a mainstream technology at ARM

The traditional approach for functional verification is based on simulation. But another approach based on formal methods emerged thanks to the progresses of the formal verification (FV) tools. We describe how formal verification has been introduced at ARM and is now used on all projects. Details are given on how FV complements simulation to verify microprocessors. We show FV provides a high Return On Investment when using smartly, and that some specific aspects of the verification can only be tackled with FV. We also emphasis the collateral aspects which must not be neglected: guidelines, reporting results, showing progresses, etc.

PDF of the presentation here : eSAME_Formal_at_ARM-Binder.PDF

Print Friendly