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 Articles

• Denali Demonstrates PCI Express Verification Solutions at PCI-SIG Developers Conference Europe 2006
  28 January 2006



• Silicon Image Selects Denali's Verification IP Products for Development Efforts
  27 January 2006



• 1UP.com User Study Reveals Gamers' Purchase Intent in 2006
  20 January 2006



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



• Coalition Urges DHS to Reject REAL ID Chip Mandate
  15 January 2006



• Tyco Announces Intent to Separate Into Three Publicly Traded Companies
  15 January 2006



• Denali Verification IP Products Support AMD Opteron(TM) Processors
  9 November 2005



• Exar Triples Verification Productivity Using Synopsys' VCS Solution With SystemVerilog Testbench Automation
  1 November 2005



• CAGW Issues Report on Real ID
  21 October 2005



• X-EMI Adds XM1011 Clock Synthesizer to Product Portfolio, Unveils to Asian Customer Base at Taitronics International Electronics Show
  12 October 2005