Real Intent's Formal Verification Software Licensed by Sun Microsystems; Large, Advanced Microprocessor Designs Benefit from Early Analysis Using Verix.Business Editors/High-Tech Writers
SANTA CLARA Santa Clara, city, Cuba
Santa Clara (sän`tä klä`rä), city (1994 est. pop. 217,000), capital of Villa Clara prov., central Cuba. , Calif.--(BUSINESS WIRE)--June 4, 2004
Today Real Intent, the leading supplier of formal assertion-based verification (ABV ABV Above
ABV Alcohol By Volume
ABV Abuja, Nigeria (airport code)
ABV Assault Breacher Vehicle
ABV Accredited Business Valuation specialist
ABV Auxiliary Building Ventilation
ABV Annual Buy Value
ABV Air Bleed Valve ) software for block-to-chip-level electronic system design, announced that Sun Microsystems Sun Microsystems, Inc. (NASDAQ: JAVA) is an American vendor of computers, computer components, computer software, and information-technology services, founded on 24 February 1982. , Inc. has renewed its corporate license for Real Intent's Verix(TM) software.
Sun selected Verix because of its ability to detect and eliminate classes of design errors early in the development cycle, when the cost of finding them is the lowest.
"As we design our next generation of UltraSPARC processors, Real Intent's Verix with its exhaustive formal analysis has proven valuable in detecting flaws in multiple designs," said Shrenik Mehta, Sun's director of front-end technologies -- Scalable Systems Group. "Real Intent's automatic static checks provide complete assurance for whole classes of design bugs compared to the simulation based techniques. We are pleased that Real Intent's product has met our demanding verification requirements and has consistently delivered value."
"Our ability to solve critical design problems for Sun using advanced formal techniques validates our confidence that Real Intent has an industry-leading formal solution," said Real Intent President and CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. Prakash Narain. "As one of our earliest major customers, Sun has contributed many ideas for evolving our products. We are continuing to work with Sun on validating the next generation of formal technologies currently under development."
About Real Intent's Verix
Verix is Real Intent's pioneering assertion-driven formal verification system for exhaustively verifying that a design is free from complex, corner-case errors that are hard to catch in simulations. Verix is easy to use because of its automatic setup and built-in assertions. Formal engines, combined with patented hierarchical formal verification, give Verix the highest capacity in the industry.
Verix supports Accellera's Open Verification Library Open Verification Library (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. (OVL OVL Oval (street type)
OVL Open Verification Library
OVL Program Overlay (File Name Extension)
OVL Oxford Vehicle Leasing (UK)
OVL Officier Vlieger ) and PSL 1. PSL - Portable Standard Lisp.
2. PSL - Problem Statement Language. See PSL/PSA. as well as the IEEE (Institute of Electrical and Electronics Engineers, New York, www.ieee.org) A membership organization that includes engineers, scientists and students in electronics and allied fields. standards for Verilog and VHDL (VHSIC Hardware Description Language) A hardware description language (HDL) used to design electronic systems at the component, board and system level. VHDL allows models to be developed at a very high level of abstraction. (IEEE 1364 and IEEE 1076, respectively). Later this year, Real Intent plans to announce support for Accellera's SystemVerilog.
About Real Intent
Real Intent, Inc. offers assertion-based formal verification products for electronic design. Its products are used at over 25 leading semiconductor design companies in North America, Japan and Europe. Its products offer users the capability of comprehensively verifying designs early in the design process and significantly reduce the cost of verifying integrated circuits, electronic systems and system on chip (SoC) devices.
Real Intent is located at 3910 Freedom Circle, Suite 102A, Santa Clara, CA 95054, tel.: 408-982-5444, fax: 408-982-5443, email: email@example.com, web: http://www.realintent.com.
Verix is a trademark of Real Intent Inc. All other trademarks and tradenames are the property of their respective owners.