|
|
|
|
|
| Real Intent Introduces Linux Versions of Verix |
|
|
|
|
MUNICH, Germany-March 12, 2001-DATE Conference-Real Intent Inc. (Santa Clara, Calif.), an EDA company that offers products for the formal verification of RTL (Register Transfer Level) designs, announced today that its Verix™ product now run on the popular Linux operating system from Red Hat (Nasdaq: RHAT), as well as on versions of the Unix OS from Sun Microsystems (Sun Microsystems (Nasdaq: SUNW) and Hewlett-Packard Company (NYSE: HWP).
Verix dramatically improves verification and design productivity by finding and eliminating errors early in the design cycle.
Verix is Real Intent's Intent-Driven formal verification system for the verification of RTL designs. Verix speeds the design of high-end semiconductors and systems-on-chip (SOCs) by verifying that the design implements the designer's intent, at the Register transfer or RT-level. With its RTL-in and results-out model, the automatic Verix Implied Intent mode is the industry's easiest to use formal verification, giving users the confidence provided by the exhaustive analysis of formal verification.
Verix was first released in July 2000 has been integrated into production design flows at a number of companies.
Availability
Verix is available now for Verilog users, and runs on Solaris, HPUX, and Linux operation systems.
About Real Intent
Real Intent, headquartered in San Jose, California, offers award-winning assertion-driven formal verification products for electronic design. These products give users the capability of comprehensively verifying designs early and significantly reduce the cost of verifying integrated circuits, electronic systems and systems on a chip (SoC).
|
|
|
|
|
|
|
|
|
|
|
|
|
Copyright® 2005 Real Intent, Inc.
|
|
|
|
