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