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 […]
The post Codasip adopts Siemens’ OneSpin tools for formal verification appeared first on .