Codasip Adopts Siemens’ OneSpin Tools for Formal Verification
June 01, 2022
News
Codasip expanded its adoption of formal verification solutions for comprehensive and thorough processor testing with the addition of OneSpin IC verification tools from Siemens EDA.
Siemens EDA’s OneSpin tools are designed to provide an advanced and 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.
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.
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 in Santa Clara on May 4th and in Munich on May 12th.
For more information, visit: https://codasip.com
Tiera Oliver is the assistant managing editor at Embedded Computing Design. She is responsible for web content editing, product news, and story development. She also manages, edits, and develops content for ECD podcasts, including Embedded Insiders.
She utilizes her expertise in journalism and content management to oversee editorial content, coordinate with editors, and ensure high-quality output across web, print, and multimedia platforms. She manages diverse projects, assists in the production of digital magazines, and hosts company podcasts by conducting in-depth interviews with industry leaders to deliver engaging and insightful discussions.
Tiera attended Northern Arizona University, where she received her bachelor's in journalism and political science. She was also a news reporter for the student-led newspaper, The Lumberjack.
