OneSpin Joins EDA Design and Verification Standards Group Accellera
Contributes Coverage Expertise for Complete Formal Verification to Unified Coverage Interoperability Standard Subcommitte
MUNICH, Germany and SUNNYVALE, Calif. – May 30, 2007 – OneSpin Solutions GmbH, an electronic design automation (EDA) company that provides award-winning, customer-proven formal verification solutions, today announced it has accepted an invitation from standards body Accellera to become a member and serve on the Unified Coverage Interoperability Standard (UCIS) Technical Subcommittee. Accellera's mission is driving worldwide development and use of standards required by systems, semiconductor and design tools companies. As a member of UCIS – the newest Accellera technical subcommittee – OneSpin will participate in and contribute to the creation of standards to support the exchange of coverage data within a verification-related process and between such processes."Accellera welcomes OneSpin and applauds its participation in our Unified Coverage Interoperability Standard Technical Subcommittee, " said Shrenik Mehta, Accellera chair. "OneSpin's expertise, influence and functional verification technology will benefit the standard and improve design and designer productivity."
"We thank Accellera for inviting OneSpin to help develop a common standard for measuring verification coverage," said Peter Feist, CEO at OneSpin. "Ten years ago we began working on coverage models and metrics that certify verification completeness – ensuring no functional errors remain undetected. We look forward to sharing our expertise with the other UCIS members to jointly establish an industry-wide standard of next-generation coverage solutions that advance the IP and chip business."
OneSpin offers a complete functional verification solution – OneSpin 360™ Module Verifier (360MV) – that ensures right-first-time, error-free operation and true functional sign-off for a broad range of digital modules and IP, such as peripherals, processors and subsystems of up to a few hundred thousand lines of RTL code. OneSpin's verification solution enables and guides engineers to predictably achieve 100% input scenario coverage and 100% output behavior coverage – the keys to ensure error-free operation. 360 MV transforms formal verification from a bug-hunting and corner-case inspection approach into a true functional sign-off approach.
About Accellera
Accellera provides design and verification standards for quick availability and use in the electronics industry. The organization and its members cooperatively deliver much-needed EDA standards that lower the cost of designing commercial IC and EDA products. As a result of Accellera's partnership with the IEEE, Accellera standards are provided to the IEEE standards body for formalization and ongoing change control.
Accellera has developed seven standards that have been ratified by the IEEE. Accellera's successes in advanced design and verification language standards include SystemVerilog and the Property Specification Language (PSL). Accellera recently completed the Unified Power Format (UPF) standard and is currently developing a Unified Coverage Interoperability (UCI) standard. For more information about Accellera, please visit www.accellera.org.