NEC picks Real Intent’s Verix for formal assertion-based verification

Powerful automatic & user-defined formal assertions, high-capacity, ease-of-use, error-coverage key reasons for selection

Santa Clara, Calif: May 28, 2004 – Real Intent Inc. of Santa Clara, California, the leading supplier of Formal Assertion-Based Verification (ABV) software for Block-to-Chip level electronic system design, today announced that NEC Electronics has selected its flagship product Verix™ for formal verification.

NEC Electronics has deployed Real Intent’s formal assertion-based software, Verix, in its flow to improve verification efficiency and complement simulation with formal capability.

“Verix has met our demanding requirements for high-capacity, ease-of-use and error-coverage, and has been successfully deployed in our design flows,” remarked Yasushi Ozaki, Manager, IP Core Group, NEC Electronics. “Our designers detect complex functional bugs by using Verix' automatic and user-defined assertions. Some of the bugs found by Verix in our designs may have been very difficult to detect in simulation.”

Ozaki continued, “Verix has been very easy to deploy due to its automatic setup and powerful formal engines, and we also use it to formally prove the correctness of design fixes.”

“As pioneers in formal verification software and methodology, we are pleased that NEC has found so much value in our formal verification software and methodology,” said Prakash Narain, Real Intent’s president and CEO. “NEC has been a great partner that has helped us tune the Verix formal methodology which should be of benefit to all users of Verix”, he added.

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 the most easily deployable solution with its automatic setup and assertions. A suite of highly tuned formal engines, combined with a patented hierarchical formal verification, gives 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). Support for Accellera’s SystemVerilog Assertions will be available later this year.

About Real Intent
Real Intent, Inc. offers award-winning formal assertion-based 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 for 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.