DV-Verify is designed to augment existing verification environments, enabling the discovery of bugs which are hard to find in simulation-only environments, while maximising coverage.
The tool includes OneSpin’s unique Quantify MDV technology, which evaluates the effectiveness of assertion sets at tracking structural design issues. This “Observation Coverage” approach to understanding verification quality provides the clearest achieved coverage metrics, as well as giving you visibility into “dead code” and other potential issues.
DV-Verify also includes pre-packaged solutions (or “apps”) for off-the-shelf verification or as convenient assertion templates. These are: Protocol Compliance, Connectivity Checking, Register Map Verification, Formal Score-boarding and X-Propagation Analysis.