|
|
|
|
|
| Real Intent Supports Assertion-Based Verification Standardization, Joins Accelera Board |
|
|
| Real Intent is active in driving assertion standardization for electronic design |
|
SAN JOSE, Calif., November 5, 2002 —— Real Intent, the leading supplier of assertion-based formal verification software, announced today that the Company has joined Accellera as a corporate member to further support the organization’s assertion-based verification (ABV) efforts. Real Intent has also been elected to Accellera’s Board of Directors.
Dr. Prakash Narain, Real Intent’s founder and CEO, is Real Intent’s representative on the Accellera Board. Dr Narain is active in Accellera’s assertion language standardization efforts to improve electronic design verification efficiency and productivity.
“We believe that assertion standardization is key to unlocking the potential of assertion-based verification, remarked Dr. Narain. “With standardization, designers can select from the best in class verification tools to solve complex verification problems.”
Dennis Brophy, Accellera’s chair, noted, “ We welcome companies that play a leading role in the verification market as members and as participants in Accellera’s standards efforts. As an elected member of the Board, Real Intent is among the EDA companies that have an influential role in the development of future language-based electronic design standards.”
Real Intent and Assertion-Based Verification
Real Intent actively participates and supports the work of Accellera’s Assertion technical committee, and is among the technology donators to Accellera’s SystemVerilog language standard.
Verix™ is Real Intent's pioneering assertion-based formal verification system that verifies that a design is free from a large class of errors early in the design cycle, prior to simulation and synthesis. Verix features a number of formal verification innovations including: clock intent verification, automatic checks, scalable hierarchical verification, in-line assertions and automatic generation of simulation checker from formal assertions. Verix speeds the design of high-end semiconductors and systems-on-chip by formally verifying the design as the RTL is created.
About Accellera
Accellera is an electronics industry organization that drives the worldwide development and use of standards required by systems, semiconductor and design tool companies that enhance a language-based design automation process. For more information, please visit www.accellera.org. For a list of Accellera-supported activities, visit http://www.accellera.org/subcom.html.
About Real Intent
Real Intent, headquartered in San Jose, California, offers award-winning assertion-driven formal verification products for electronic design. These products give users the capability of comprehensively verifying designs early and significantly reduce the cost of verifying integrated circuits, electronic systems and systems on a chip (SoC).
|
|
|
|
|
|
|
|
|
|
|
|
|
Copyright® 2005 Real Intent, Inc.
|
|
|
|
