Real Intent Offers CDC 3.0 Verification Software
Real Intent is now shipping Version 3.0 of the Meridian Clock Domain Crossing (CDC) verification software. Meridian CDC is described as a precise and comprehensive CDC solution. It employs a multi-strategy analysis approach, including automatic clock intent analysis, formal analysis, hierarchical analysis and dynamic analysis (Simportal).
Meridian CDC 3.0 features a variety of enhancements, including new check categories related to reset uncertainty, reset propagation, pseudo constants and encapsulation, offering more comprehensive analysis than the previous version. The new version also features an enhanced automatic environment setup; frequency-independent formal analysis; enhanced debugging capabilities; automatic hierarchical shell model support, enabling hierarchical top-down and bottom-up verification flows; and complete timing closure verification.
Meridian CDC 3.0 features a variety of enhancements, including new check categories related to reset uncertainty, reset propagation, pseudo constants and encapsulation, offering more comprehensive analysis than the previous version. The new version also features an enhanced automatic environment setup; frequency-independent formal analysis; enhanced debugging capabilities; automatic hierarchical shell model support, enabling hierarchical top-down and bottom-up verification flows; and complete timing closure verification.
Comments