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, Calif.--(BUSINESS WIRE)--June 4, 2004

Today Real Intent, the leading supplier of formal assertion-based verification (ABV) software for block-to-chip-level electronic system design, announced that Sun Microsystems, 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 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 (OVL) and PSL as well as the IEEE standards for Verilog and VHDL (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.: [phone], fax: [phone], email: [e-mail], 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.