REAL INTENT INTRODUCES LINUX VERSIONS OF ITS INTENT-DRIVEN FORMAL VERIFICATION SYSTEM, VERIX.Intent Inc. (Santa Clara, Calif.), an EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. company that offers products for the formal verification of RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; (Register Transfer Level) designs, has announced that its Verix product now run on the popular Linux operating system from Red Hat (Nasdaq:RHAT RHAT Red Hat (stock symbol) RHAT Rainwater Harvesting Association of Tanzania RHAT Register Hba Attributes ), as well as on versions of the Unix OS from Sun Microsystems (Nasdaq:SUNW SUNW Sun Microsystems, Inc (former stock symbol; now JAVA) SUNW Stanford University Network Workstation (Sun Microsystems, Inc) ) and Hewlett-Packard Company (NYSE NYSE See: New York Stock Exchange :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 HPUX Hewlett-Packard Unix , and Linux operation systems. US pricing starts at $40,000 (USD USD In currencies, this is the abbreviation for the U.S. Dollar. Notes: The currency market, also known as the Foreign Exchange market, is the largest financial market in the world, with a daily average volume of over US $1 trillion. ). 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
Reader Opinion