Codasip | Codasip adopts Siemens' OneSpin tools for formal verification : #RashtraNews #Codasip #Codasip #adopts #Siemens #OneSpin #tools #formal #verification Higher-quality verification to drive adoption and build momentum for RISC-V IPMunich, 3 May 2022 – Codasip, the leader in processor design automation, has expanded its adoption of formal verification solutions for comprehensive and thorough processor
Processor verification, however, is never trivial but requires combining the strengths of multiple verification techniques. This technical paper considers how to efficiently verify a RISC-V processor using a multi-layered approach known as the Swiss cheese model adapted from the world of avionics.
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.
Processors all have high quality requirements and their reliability is the main concern of processor verification teams. Providing best-in-class quality .