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.

最終変更: June 15, 2016

期間: 3 min