Codasip adopts Siemens’ OneSpin tools for formal verification

Higher-quality verification to drive adoption and build momentum for RISC-V IP

Munich, 3 May 2022 – Codasip, the leader in processor design automation, has expanded its adoption of formal verification solutions for comprehensive and thorough processor testing with the addition of OneSpin IC verification tools from Siemens EDA. Codasip has continually invested heavily in processor verification to underpin the company’s ability to deliver the industry’s highest quality RISC-V processor IP.

Siemens EDA’s OneSpin tools provide an advanced and incredibly robust verification platform to tackle critical IC integrity issues. The highly advanced OneSpin formal verification tools for automotive and other high-integrity processor applications verify the implementation with minimal set up and runtime.

The quality of Codasip RISC-V processor IP sets it apart from competitors. With 2 billion cores of Codasip processor IP already in use, mostly with tier one customers, it is essential that Codasip continues to offer processor IP that is consistently of the highest quality

Neil Hand, strategy director for the IC Design Verification division of Siemens EDA, “We are pleased to collaborate with Codasip to help ensure the high quality of their RISC-V Processor IP, as well as to establish optimized solutions for our mutual customers. The world-class technology of our OneSpin formal verification tools including the OneSpin RISC-V verification solution, together with Codasip’s innovative RISC-V IP, is key for IC designers to deliver high-quality products to market quickly.”

Rupert Baines, CMO, Codasip, commented, “The poor verification of some RISC-V IP is frankly shocking. Developers have legitimate concerns about the quality of RISC-V IP that’s holding back its adoption. Higher quality and formally proven RISC-V IP will help it to cross the chasm and massively increase its adoption.”

Codasip’s Director of Verification, Philippe Luc, added, “We are very proud of our own rigorous approach to verification with a strong in-house verification team – our own extremely thorough internal testing methodologies, combine with best-in-class third-party tools. As part of this, we’re delighted to use OneSpin technology from Siemens EDA, which is a key partner for Codasip – we look forward to a closer and productive relationship.”

Codasip uses Siemens EDA (formerly Mentor Graphics) as its primary EDA tool flow.

Codasip is presenting on its experiences with the OneSpin tool at Siemens EDA User2User2022 conference at Santa Clara on May 4th and in Munich on May 12th.


Lisa Baker is the Editor of International Business News. As the Owner of Need to See IT Publishing, Lisa is an experienced business and technology journalist and publisher.

5G News

Basel to bring the best of fibre optics as ECOC Exhibition’s Market Focus and awards open for entries

The event will be held in Basel, Switzerland 19 May 2022 – From 19-21 September 2022, the Swiss city of Basel will host technologists, thought leaders and decision makers, as part of Europe’s largest exhibition for the optical communications industry. Exhibitor booths, face-to-face networking, live ‘Market Focus’ presentations, product demonstrations and an award ceremony will […]

Read More
Accountancy & Accounts Accounts and Accountancy News Pensions

‘Pensions are a long-term investment and have time to recover’ Quantum Advisory addresses ICAEW members after global financial markets react to Russian invasion of Ukraine

Experts from pension and investment specialists Quantum Advisory addressed members of the Institute of Chartered Accountants in England and Wales (ICAEW) on the turbulent global investment market and the knock-on effects on UK pensions schemes. Partner and Actuary, Stuart Price and Senior Investment Consultant and Actuary, Kara Newcombe headlined the free hour-long virtual session which […]

Read More
Birmingham Food & Drink News

Commonwealth culture and cuisine served up at city-wide food festival

Food and music from across the Commonwealth will be served up at a series of free, vibrant events in Birmingham. Ten food and cultural experiences from Commonwealth member nations are taking place across the city, giving visitors authentic, healthy tastes and experiences from around the globe and promoting understanding of the food that celebrates Commonwealth […]

Read More