Real Intent: CDC Verification: Automatic Formal

Innovating the Intelligence of Formal Techniques for Automatic Design Verification

NEWS

May 26, 2010
Real Intent Showcases EDA Tools for Bridging the Verification Gap, Participates in Workshops, Presents at Verification and Test Forum at 47th DAC
May 19, 2010
Real Intent Improves Electronic Design Quality, Introduces Design-For-Test (DFT) Software

Prakash Narain Video: Ascent XV and Lint, PureTime CDC Sign-off

REAL INTENT PRODUCT FAMILIES

Real Intent offers automatic verification solutions using innovative formal techniques in an easy to use methodology, solving critical problems with comprehensive error detection and high ROI.

Follow Real Intent on Twitter

Real Intent RSS Feed

July 2010
Real Verification News Volume 3 Issue 3

English version

DOWNLOAD

CDC White Paper
Clock Domain Crossing Demystified: The Second Generation Solution for CDC Verification

ARTICLES

June 2010
"Challenges in Verification of Clock Domain Crossings"
May 2010
"Verification Tool Adds Numerous Checks"

NEWS

VIDEO

REAL INTENT PRODUCT FAMILIES

NEWSLETTER

DOWNLOAD

ARTICLES