处理器设计自动化领域的领先企业Codasip最近宣布西门子集团采用Siemens EDA的OneSpin IC为了进行全面彻底的处理器测试，验证工具扩大了其形式验证解决方案的可用工具范围。Codasip不断投入巨资进行处理器验证，为行业提供最高质量RISC-V半导体知识产权处理器（IP）。

芯片采购网专注于整合国内外授权IC代理商现货资源，芯片库存实时查询，行业价格合理，采购方便IC芯片，国内专业芯片采购平台。

Siemens EDA的OneSpin该工具为解决芯片完整性问题提供了先进而强大的验证平台。OneSpin它是一种非常先进的形式验证工具，适用于汽车等高完整性处理器的应用，可以验证设计的实现，设置和运行时间最短。

由于其高质量RISC-V处理器，Codasip在竞争对手中脱颖而出。目前已有20亿颗Codasip处理器IP内核投入使用，大部分面向一流客户，所以Codasip必须始终如一地提供最高质量的处理器IP。

Siemens EDA芯片设计验证部战略总监Neil Hand我们我们很高兴Codasip帮助确保合作RISC-V处理器IP高质量，为我们的共同客户建立优化解决方案。我们的OneSpin形式验证工具拥有世界级的技术，包括OneSpin RISC-V当它们与解决方案进行验证时Codasip创新的RISC-V IP结合形成了帮助芯片设计师快速将优质产品推向市场的关键力量。”

Codasip首席营销官Rupert Baines评论道：坦白地说，有些人RISC-V IP验证的不良情况令人震惊。开发人员对RISC-V IP对质量的担忧是合理的，这阻碍了它的使用。更高的质量和形式验证RISC-V IP它将它跨越鸿沟，大规模提高利用率。

Codasip的验证总监Philippe Luc补充说：我们为自己严格的验证方法和强大的内部验证团队感到非常自豪。我们有非常彻底的内部测试方法，并结合了一流的第三方工具。作为其中的一部分，我们很高兴使用它Siemens EDA的OneSpin技术，这是Codasip我们期待着建立更紧密、更有效的合作伙伴关系。”

Codaonsemi代理sip使用Siemens EDA（前身为Mentor Graphics）主要的EDA工具流。

Codasip5月4日在圣克拉拉举行Siemens EDA User2User2022年会议介绍了其使用情况OneSpin工具经验将于5月12日在慕尼黑举行Siemens EDA User2User在2022年会议上再次介绍其使用经验。