HomeContactCorporateSitemap

360 MV blocks all error escape routes inherent in simulation-based approaches

• Overlooked Errors: the solution achieves 100% output behavior coverage, ensuring that there is no case where erroneous behavior at the outputs is overlooked because monitor 'blind spots' or missing properties or assertions prevent observation.



• Falsely Accepted Errors: the solution ensures specification compliance, avoiding cases where erroneous behavior at the outputs is not detected because monitors, properties, or assertions, and the RTL implementation deviate in the same way from the specification, thus masking the error.

• Features
• FormalDoublePass™ methodology to achieve true functional sign-off
• 360 MV
• No compromise between quality and effort