Verification planning is key to the success of any verification tasks and this is especially true for formal verification. Formal technology, while it can be very powerful in proving complete functional correctness of designs, is not suited for all design types. This session discusses the 3 stages of Formal Test Planning – IDENTIFYING the right design blocks for formal verification; ESTIMATING the formal verification effort using key metrics; and PLANNING the actual formal verification tasks on the chosen designs. Through real life case studies, readers(audience) will learn how to start formal verification right from Formal Test Planning.
