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…

Source: RealWire
General Engineering
Enlace: Codasip adopts Siemens’ OneSpin tools for formal verification