Assertion Based Verification
To increase your productivity when verifying complex designs, Cadence provides design teams with a complete assertion-based verification (ABV) environment that unifies software, languages, IP, debugging, and coverage. Integrated with the Incisive platform, ABV helps users define assertions correctly, enables early detection of bugs close to the source, and monitors for completeness through assertion coverage.
The Incisive ABV environment supports a variety of products:
