Avoid digital ASIC/IC re-spins using correct by construction formal verification
The recent Wilson Research Group Functional Verification Study analyzed how verification nowadays influences the way ASIC/IC projects are managed. The numbers indicate that companies spent a majority of time and resources on IC verification. Verification Engineers spend 41% of their time debugging bugs. Half of those bugs can be classified as functional or logic flaws. 65% of the project require at least one re-spin. This doesn’t have to be the case! We will show you how to avoid costly re-spins in ASIC/IC projects by using formal verification early in the process.
Do you recognize these problems?
- Increasing costs due to longer project times.
- Less revenue due to later Time-To-Market (TTM).
With our solutions, we can ease that pain
- Automatically generating a Verification IP (VIP) out of your specifications.
- The VIP is composed of formal properties (SVA format) that cover the complete functional range, as described within the specification.
- Use the VIP early on within the process, find functional bugs early on and save debugging and verification resources.
- Proving the VIP means, that your design is correct-by-construction with respect to your spec.
- Avoid re-spins, shorten your TTM and save development costs.
For a deeper look at this topic, see our newer post on Assertion first hardware design