REAL INTENT INTRODUCES LINUX VERSIONS OF ITS INTENT-DRIVEN FORMAL VERIFICATION SYSTEM, VERIX.
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.
|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|
|Date:||Apr 2, 2001|
|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.|
|Real Intent Introduces Linux Versions : OF ITS INTENT-DRIVEN FORMAL VERIFICATION SYSTEM, VERIX.|
|@HDL RELEASES ENHANCED VERSION OF VERILOG DEBUGGING TOOL.|