Codasip携手西门子打造RISC-V领域最完整形式验证

处理器设计自动化领域的领先企业Codasip宣布，通过采用西门子集团西门子EDA的OneSpin IC验证工具进行全面彻底的处理器测试，扩大了其形式化验证解决方案可用的工具范围Codasip继续在处理器验证方面投入巨资，坚持不懈地为业界提供最高质量的RISC—V处理器知识产权

西门子EDA的OneSpin工具提供了一个先进的，极其强大的验证平台来解决关键的芯片完整性问题OneSpin是一个极其先进的形式化验证工具，适用于汽车和其他高集成度处理器应用，可以用最少的设置和运行时间来验证设计和实现

由于其高质量的RISC—V处理器，Codasip从竞争对手中脱颖而出目前已有20亿个Codasip处理器ip核投入使用，其中大部分面向一流客户，因此Codasip必须持续一致地提供最优质的处理器IP

西门子EDA芯片设计与验证部战略总监Neil Hand表示:我们很高兴与Codasip合作，帮助确保其RISC—V处理器ip的高质量，并为我们共同的客户建立一个优化的解决方案我们的OneSpin正式验证工具拥有世界一流的技术，包括OneSpin RISC—V验证解决方案当它们与Codasip的创新RISC—V IP相结合时，就形成了一股关键力量，帮助芯片设计师快速将高质量的产品推向市场

Codasip首席营销官鲁珀特·贝恩斯评价:坦白说，有些RISC—V IP在认证性差方面是令人震惊的开发者对RISC—V IP质量的担忧是合理的，这阻碍了它的采用具有更高质量和形式化验证的RISC—V IP将帮助其跨越鸿沟，大规模提高其采用率

Codasip的验证主管Philippe Luc补充道:我们非常自豪我们严格的核查方法和强大的内部核查团队我们有极其彻底的内部测试方法，并结合一流的第三方工具作为其中的一部分，我们很高兴使用西门子EDA的OneSpin技术，这是Codasip的重要合作伙伴，我们期待着建立更密切和富有成效的合作关系

Codasip使用西门子EDA作为其主要的EDA工具流程。

Codasip于5月4日在圣克拉拉举行的西门子EDAUser2User2022大会上介绍了其使用OneSpin工具的经验，并将于5月12日在慕尼黑举行的西门子EDA User2User2022大会上再次介绍其经验。

郑重声明：此文内容为本网站转载企业宣传资讯，目的在于传播更多信息，与本站立场无关。仅供读者参考，并请自行核实相关内容。