CIMdata PLM Industry Summary Online Archive
2 June 2004
Product News
Real Intent Releases Support for Accellera's PSL Standard
Real Intent Inc. of Santa Clara, California, a supplier of Formal Assertion-Based Verification (ABV) software for Block-to-Chip level electronic system design, announced that its flagship product VerixT version 4.3 is now shipping with support for PSL-Accellera's Property Specification Language.
PSL is a concise language for assertion specification and functional modeling. As an interoperable specification language, it allows designers to use the same assertions to drive both simulation and formal verification methodologies while using tools from multiple vendors.
PSL was developed to address the limitations of current HDL languages in specifying design assertions. It enables the RTL designers to capture design intent in a verifiable form, while enabling verification of that intent with both the dynamic (that is, simulation) and the static (that is, formal) verifications. It also provides a standard means for hardware designers and verification engineers to rigorously document the design specification.
Verix is Real Intent's pioneering 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 an easy to deploy 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). Later this year, Real Intent plans to announce support for Accellera's SystemVerilog.
Verix is available now with PSL support. Verix pricing starts at $75,000.
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.