Real Intent Introduces Linux Versions Of Its Intent-Driven Formal Verification System, Verix - Product Announcement

EDP Weekly's IT Monitor, April 2, 2001

Intent Inc. (Santa Clara, Calif.), an EDA company that offers products for the formal verification of RTL (Register Transfer Level) designs, has announced 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 (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, first released in July 2000, has been integrated into production design flows at a number of companies.

Verix is available now for Verilog users, and runs on Solaris, HPUX, and Linux operation systems. US pricing starts at $40,000 (USD).

Real Intent offers tools for an intent-driven design formal verification approach that promise to revolutionize functional electronic design verification. Real Intent's products formally verify that the design implements the designer's intent, at the earliest opportunity in the design cycle. Its products enable chip designs to rapidly reach quality goals with reduced effort. The Company's products are complementary to simulation and address the problems with conventional simulation-based verification approaches that are testbench limited and require a large amount of resources to drive the simulation and design debugging processes.

Real Intent has harnessed advanced formal verification technology into the powerful, yet easy to use Verix family of products.