Innovating the Intelligence of Formal Techniques for Automatic Design Verification

Products

Request Evaluation

Product Downloads

Supported Platforms

White Papers

Webinars

Meridian

Ascent Benefits:
  • Most comprehensive CDC analysis ensures reliable control and data transfer protocols
  • Easiest to use, highest performance lead to faster CDC signoff

Features:
  • Automatic design setup from top level SDC constraints
  • Automatic clock intent inference and analysis
    • Clock/reset issues, hazard/glitch potentials, reconvergence, loss of correlation
  • Metastability-aware formal analysis
    • Control and data stability for all crossings, gray code requirement, glitch potentials
  • SimPortal enables dynamic CDC verification

Data Sheets:
English    Japanese

Information about Meridian DFT will be available soon. Come to see a demo of Meridian DFT at DAC 2010 Real Intent Booth 722.