Comprehensive set of standard and advanced formal apps
Clearly, formal experts as well as novice users benefit from formal apps. Be it during early design validation, functional verification or block integration, formal apps are part of the engineers’ standard tool box. However, getting access to the right app at the right time has been limiting productivity of project teams.
With OneSpin 360 DV Verify Apps, verification engineers and designers have access to one of the most comprehensive, yet easy to use and adaptable sets of apps available today. Adding key functionality like effective coverage measurement to the portfolio, makes it an invaluable resource.
The DV-Verify Apps Library comprises the following:
Effective measure of verification progress and coverage improvement, providing precise coverage metrics... »more
OneSpin’s Quantify Fault Observation Coverage technology provides precise, accurate verification coverage measurement for formal verification...
Ensuring functional communication channel integrity by checking for data transport issues through various on-chip structures... »more
The OneSpin Scoreboarding App provides a powerful mechanism to perform exhaustive data transport verification on an appropriate component in an automated fashion...
Validating the implementation of bus protocols by checking for bus protocol violations in ARM AMBA, AXI, AHB and other... »more
The OneSpin Protocol Compliance App automatically tests all possible communication transactions for specific protocols exhaustively, without the need to create stimulus...
Verifying a register map implementation against an IP-XACT specification list of registers... »more
OneSpin’s Register Checking App automatically generates formal assertions from a given register map specification in IP-XACT, and provides an exhaustive verification...
Ensuring key connectivity through device structures, examining the connection of signals through a range of on-chip communication schemes... »more
The OneSpin Connectivity Checking app provides an easy to use, automated mechanism to exhaustively verify design connectivity through SoC communication structures...
Power-up and potential instability checks, automatically analyzing conditions that might cause unknown, or ‘X’, states in a design... »more
The OneSpin X-Propagation Analysis app provides a robust and effective circuit analysis that highlights all the issues in a design that could lead to X state propagations without...
Capturing functional requirements efficiently through high-level assertions in standard SystemVerilog… »more
OneSpin’s Operational SVA enable formal verification enthusiasts to develop high-level non-overlapping assertions that capture end-to-end transactions and requirements…