Formal Methodology as a 1st Step in Verification Shortens Process by 4 Weeks

Samuele Raffaelli, a digital designer at STMicroelectronics, talks about how he and his team used, as a first step in verification, a formal verification methodology based on Cadence's Incisive® Formal Verifier and Incisive Enterprise Verifier.

Last Modified: June 15, 2016

Duration: 3 min