New Approach to Clock Domain Crossing Verification

Real Intent Applies Formal Technology to Sequentially Analyze Electronic Design Functionality

NICE, France Design Automation and Test Exposition (DATE) –– April 16, 2007 –– Real Intent, Inc., the leading supplier of formal verification software for electronic design, today announced Meridian, new Clock Domain Crossing (CDC) verification software.

Meridian is a completely new approach to CDC verification, and is engineered to verify that data traversing asynchronous clock domains on ASIC, SOC or FPGA devices is received reliably. After a quick and easy setup, Meridian verifies both the structure and the protocols required for CDC safe design, then pinpoints design problems with an absolute minimum amount of sign-off.

“Every designer agrees that CDC checking software is a necessary ingredient for verification success,” remarked Rich Faris, Real Intent’s Vice President of Marketing and Business Development. “Traditional functional verification solutions do not solve the CDC problem, which has led to widespread use of our tools. To address exploding design sizes and keep the sign-off effort reasonable, we developed new algorithms. In addition, robust support of advanced CDC structures such as FIFOs and complex handshake protocols requires Meridian’s functional insight. Adding sequential formal analysis, which is a core competency of Real Intent, has allowed us to create this breakthrough solution.”

Meridian Employs Multiple Strategies for Best Results
The first strategy is structural analysis. Meridian quickly verifies that the structural CDC implementation is correct and creates the most concise reports of any solution. This structural analysis is the fastest and most accurate available due to Real Intent’s advanced correlation algorithms and the most complete list of crossing templates in the industry.

Using a second strategy, Meridian addresses crossing safety with an adaptation of sequential formal analysis to CDC problems. Real Intent’s metastability aware formal engine, the Harmonic Convergence Engine™, can prove that CDC functionality and protocols are correct. Proof of functional correctness verifies that no clocking issues slip through undetected. Formal algorithms act as a powerful filter to make the designer’s manual sign-off task much easier.

For the third strategy, Meridian leverages existing simulation testbenches with SimPortal software. SimPortal induces the effects of metastability into regression simulation, automates CDC sign-off and supports popular simulators. To protect from sign-off errors, Meridian SimPortal acts as an independent verification step for crossings signed off by the user.

Unlike some competing solutions, all three strategies are supported in the Meridian product at no extra charge.

Price and Availability
Meridian is available now. Current users of Real Intent’s Clock Intent Verification software are being offered upgrade options.

About Real Intent:
Real Intent is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent’s products dramatically improve the functional verification efficiency of leading edge application specific integrated circuit (ASIC), system-on-chip (SOC), and Field Programmable Gate Array (FPGA) devices. Over 40 major electronics design houses, including Sun Microsystems, AMD, Marvell Technology Group, nVidia, and NEC Electronics use Real Intent software.

Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962,

Contact Information

Real Intent

990 Almanor Ave
Suite 220
Sunnyvale,, CA , 94070

tele: 408-830-0700
fax: 408-737-1962

Share and Enjoy:
  • Digg
  • Sphinn
  • Facebook
  • Mixx
  • Google
  • TwitThis
Extension Media websites place cookies on your device to give you the best user experience. By using our websites, you agree to placement of these cookies and to our Privacy Policy. Please click here to accept.