智东西5月7日消息，德国RISC-V IP与设计工具供应商Codasip本周三宣布，通过采用西门子集团Siemens EDA的OneSpin IC验证工具，扩大了其形式验证解决方案的可用工具范围，以进行全面和彻底的处理器测试。

Codasip的首席营销官Rupert Baines称：“一些RISC-V IP在验证方面的糟糕情况令人震惊。开发人员对RISC-V IP质量的担忧合乎情理，这阻碍了它的采用。更高质量和经过形式验证的RISC-V IP将帮助它跨越鸿沟，并大规模地提高其采用率。”目前，Codasip的处理器IP内核已有20亿颗投入使用。

Siemens EDA芯片设计验证部门战略总监Neil Hand表示：“我们很高兴与Codasip合作，帮助确保其RISC-V处理器IP的高质量，并为我们共同的客户建立优化的解决方案。”