Verity-Check is offered at three levels:i. Verity-Check Designer Level
ii. Verity-Check Professional Level
iii. Verity-Check Expert Level
The Designer Level Verity-Check product gives you the push-button ease of use of a
super-lint style RTL analysis and rule-checking tool but offers sophisticated "look-ahead" analysis techniques, which are more accurate than those used by traditional HDL lint tools, to
detect hundreds of potential issues such as unsynchronised clock domain boundary crossings, races, gated clocks, asynchronous clocks, implied latches, asynchronous sets-resets, potential
glitches, redundant logic, mismatching assignments, register-transfer level (RTL) scan DFT/ATPG issues, and X-source problems at the full-chip level. In addition, Verity-Check at
the Designer Level allows you to check for compliance to the RMM design re-usability rules, design verifiability rules and design for testability rules.
Verity-Check at the Professional Level provides the power of formal verification state-space search technology with the ease-of-use of rule checking. In addition to traditional lint and rule
based checking, it automatically performs search-based property checking for a set of pre-defined or built-in properties such as tri-state conflicts, floating buses, set-reset conflicts,
branch possible and synchronous initialization. In addition, it performs FSM analysis to identify unreachable and dead-end states. Search based property checking involves an exhaustive
search of the design's state space to verify that no input vector sequence exists that would result in a violation of the property. Verity-Check at the Professional Level also allows you to add your own rules using Perl.
Verity-Check at the Expert Level gives you powerful built-in property checks (such as one-hot checks) for signals that you specify and state space search-based temporal checks of
properties specific to your design (for example, a persistent request must be acknowledged within a specified number of cycles). In addition to user specified assertion based verification
checks, all checks at the designer level and professional level are included.
Pricing:
Verity-Check starts at a list price of $5,000 for an annual subscription.Take advantage of this
limited time offer to receive 50% off the list price of two or more copies of Verity-Check Designer or one or more copies of Verity-Check Professional and Expert.
Conditions:
To be eligible for the offer you must purchase within 30 days of starting your evaluation and before November 30, 2002. This offer is valid only in the U.S. and for new license purchases only.
