ENSURE VERIFICATION COMPLETENESS

Veloce Coverage and Assertion App

To keep up with an ever-evolving industry, companies must be able to quickly verify a design’s ability to meet specification and compliance goals. The Veloce Coverage and Assertion app accelerates debug times by ensuring coverage closure during testing.


Get in touch with our sales team 1-800-547-3000

Engineers debugging and integrated circuit.

Why the Veloce Coverage and Assertion App?

The Veloce Coverage and Assertion app provides extensive analysis of testing efforts, and when combined with metric-driven verification techniques, highlights early issues that may become critical flaws in later phases. By ensuring the completeness of design verification, the likelihood of first-pass silicon success increases drastically:

  • Quantifiable data on testing of code and feature execution
  • Reusable coverage and assertions through different stages of verification
  • Merge and analyze coverage closure for a higher-level perspective of verification efforts
  • Assertion-based debug available on hardware-assisted verification platforms

Key attributes

Code coverage and functional coverage

The Veloce Coverage and Assertion app enables code coverage that analyzes code execution, and functional coverage and tracks user-defined specification execution. By achieving high levels in these metrics, a thorough level of testing can be ensured.

Engineer coding on a laptop.

Assertion-based debug

For testbenches that do not have built-in monitors or checkers, assertions can be used with the Coverage and Assertion app tracking the number of times they fire. As well, assertion-based triggers can be used to enable behaviors when fired, such as waveform generation or test execution.

Debugging an Integrated Circuit.

Unified coverage closure

The Coverage and Assertion app provides the ability to not only activate and deactivate coverage, but merge coverage as well. This provides the ability to combine any previously collected together to have a more holistic view of
verification. Coverage collected from both Questa and Veloce can be merged
together as well.

C++ software for fault analysis.

Siemens EDA interoperability

The Coverage and Assertion app can be combined with other Siemens EDA tools to ensure complete testing of specific design aspects. For example, the app can be combined with the Veloce Power app to create targeted workloads for system and sub-system power testing.

Waveform Analyzer Equipment.

Discover more about the Veloce Ecosystem

Related resources