Veloce Coverage and Assertion App

The Veloce Coverage and Assertion App is a highly configurable verification toolset that focuses on ensuring every aspect of a design undergoes proper testing during the verification process. By providing detailed analysis and assertion-based debug techniques, the app supplies in-depth information regarding the coverage closure of testing in the form of a Unified Coverage Database (UCDB). The app supports Verilog and VHDL for coverage, SVA for assertions, and virtual and ICE mode usage. All this is done with minimal impact on performance, as coverage is run at emulation and prototyping speeds, with seamless integration for Siemens EDA coverage analysis tools and closure flows, such as Visualizer and Coverage Analyzer.