德国慕尼黑，2022年5月——处理器设计自动化领域的领导性企业codasip宣布：通过采用西门子集团siemens eda的onespin ic验证工具，扩大了其形式验证解决方案的可用工具范围，以进行全面和彻底的处理器测试。codasip不断在处理器验证方面投入巨资，以再接再厉为业界提供最高质量的risc-v处理器半导体知识产权(ip)。

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的重要合作伙伴，我们期待建立更紧密的和富有成效的合作关系。”

codasip使用siemens eda(前身为mentor graphics)作为其主要的eda工具流。

codasip于5月4日在圣克拉拉举行的siemens eda user2user2022会议上介绍了其使用onespin工具的经验，并将在5月12日于慕尼黑举行的siemens eda user2user2022会议上再次介绍其使用经验。

（转载）

以上是网络信息转载，信息真实性自行斟酌。