OneSpin Solutions GmbH, an electronic design automation (EDA) company that provides award-winning, customer-proven formal verification solutions, 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(TM) 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.
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.
ABOUT ONESPIN SOLUTIONS
Electronic Design Automation (EDA) company OneSpin Solutions provides award-winning, customer-proven functional verification solutions for ASIC and FPGA designs that ease and speed verification, and deliver the highest achievable functional quality. OneSpin’s patented technology builds on more than 270 engineer-years of innovation, development and application experience in formal verification and is field-proven on hundreds of complex designs. Market-leading telecommunications, automotive, computer, and embedded system companies rely on OneSpin’s technology to reduce their verification effort and costs; achieve true functional sign-off for their complex subsystems, processors and peripherals; and preserve this level of quality through subsequent design phases. Privately held, OneSpin was founded in 2005 and has offices in Munich, Germany; Sunnyvale, California; and Yokohama, Japan. For further information please email firstname.lastname@example.org. Or contact our local offices at Theresienhoehe 12, 80339 Munich, Germany, Phone: +49 89 99013 0, Fax: +49 89 99013 400; and 1183 Bordeaux Drive Suite 16, Sunnyvale, CA 94089, Phone: +1 408.734.1900, Fax: +1 408.716.3150; and 2-1 Shinkou 2-Chome, Naka-ku, Yokohama 231-0001 Japan, Phone: +81 45 222 2083, Fax: +81 45 349 6331.
OneSpin, OneSpin 360 and the OneSpin logo are trademarks of OneSpin Solutions GmbH.