CIMdata PLM Industry Summary Online Archive
4 June 2004
Implementation Investments
Real Intent's Formal Verification Software Licensed by Sun Microsystems
Real Intent ( http://www.realintent.com ), a 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 VerixT 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."
Verix is Real Intent's assertion-driven formal verification system for 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.
Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.
Tell us what you think of the CIMdata Newsletter. Send your feedback.
CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.