Printer Friendly

REAL INTENT INTRODUCES LINUX VERSIONS OF ITS INTENT-DRIVEN FORMAL VERIFICATION SYSTEM, VERIX.

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.
COPYRIGHT 2001 Millin Publishing, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2001, Gale Group. All rights reserved. Gale Group is a Thomson Corporation Company.

Article Details
Printer friendly Cite/link Email Feedback
Comment:REAL INTENT INTRODUCES LINUX VERSIONS OF ITS INTENT-DRIVEN FORMAL VERIFICATION SYSTEM, VERIX.
Publication:EDP Weekly's IT Monitor
Article Type:Product Announcement
Geographic Code:1USA
Date:Apr 2, 2001
Words:294
Previous Article:U.S. ONLINE CONSUMERS NOW MORE COMFORTABLE PROVIDING CREDIT CARD AND PERSONAL INFORMATION ONLINE THAN OVER THE PHONE.
Next Article:IBM DELIVERS SELF-MANAGING SOFTWARE FOR ESERVER Z900; Z/OS BRINGS INTELLIGENCE TO THE MAINFRAME.
Topics:


Related Articles
Real Intent Introduces Linux Versions : OF ITS INTENT-DRIVEN FORMAL VERIFICATION SYSTEM, VERIX.
@HDL RELEASES ENHANCED VERSION OF VERILOG DEBUGGING TOOL.

Terms of use | Privacy policy | Copyright © 2020 Farlex, Inc. | Feedback | For webmasters