Real Intent Releases Next Generation Clock Domain Verification Tool; Melds Simulation With Formal Analysis

sothat many designs which were impossible to formally verify, can now beverified.

PureTime, a software timing exception verifier, extends Real Intent'sformal technology to address design implementation challenges early in thedesign cycle. It can prove the correctness of timing exceptions created bydesigners, or in existing Intellectual Property (IP), using exhaustiveanalysis and help avoid timing exception errors that create scheduledelays, chip re-spins or failing hardware.

Availability

The new release of Clock Intent Verification and the new Clock IntentVerification SimPortal option are available today.

About Real Intent

Real Intent is extending breakthrough formal technology to criticalproblems encountered by design and verification teams worldwide. RealIntent's products dramatically improve the functional verificationefficiency of leading edge application-specific integrated circuit (ASIC),system-on-chip (SOC), and Field Programmable Gate Array (FPGA) devices.Over 30 major electronics design houses, including Sun Microsystems, ATI,Avago Technologies, nVidia, and NEC Electronics, use Real Intent software.

Founded in 1999, Real Intent is a privately held Electronic DesignAutomation (EDA) company headquartered at 505 North Mathilda Avenue, Suite210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web:www.realintent.com, e-mail: info@realintent.com.

Verix, PureTime, Clock Intent Verification, Expressed Intent Verification,Implied Intent Verification are trademarks of Real Intent Inc. Verdi is atrademark of Novas Software, Inc. All other trademarks or registeredtrademarks are property of their respective owners.

For more information contact:Rich FarisReal Intent Marketing(408) 830-0700 x212Email Contact

Georgia MarszalekValley PR for Real Intent(650) 345-7477Email Contact

SOURCE:  Real Intent

Author:  

Email:    

Topic:    

Content:

Related Computer Hardware Articles

• DEMO 2006 Launches 68 Real Products That Meet Real Needs
  11 February 2006



• Preferred Real Estate Investments Acquires World-Class Technology Campus From IBM
  28 January 2006



• Juniper Networks Selects Denali Verification IP for Design and Verification of Its Products
  21 January 2006



• Sony VAIO XL100-Series : The Real Entertainment Centre for the Living Room
  9 January 2006



• Adaptec Announces Intent to Sign Contract Manufacturing Agreement and Intent to Sell its Singapore Manufacturing Assets to Sanmina-SCI
  22 December 2005



• Sun Microsystems and Synopsys Collaborate to Certify VCS Verification Solution for the Solaris 10 OS on x64 Platforms
  18 December 2005



• Real Estate Connect NYC 2006 Conference Sets New Pre-Registration Records
  15 December 2005



• Pericom Rolls Out Two Spread Spectrum Clock Generator/Synthesizers Targeting Video and Graphic Applications
  6 December 2005



• New Time Clock Store Helps Businesses Find Time Attendance Solutions
  27 November 2005



• Alliance Semiconductor Selects Denali Verification IP for Design and Verification of Its Products
  10 November 2005