查看: 452|回复: 0
收起左侧

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

[复制链接]

  离线 

  • TA的每日心情
    奋斗
    2022-6-21 08:23
  • 签到天数: 2 天

    [LV.1]

    发表于 2022-5-8 10:35:46 | 显示全部楼层 |阅读模式

    有人预言,RISC-V或将是继Intel和Arm之后的第三大主流处理器体系。欢迎访问全球首家只专注于RISC-V单片机行业应用的中文网站

    您需要 登录 才可以下载或查看,没有帐号?立即注册

    x
    本帖最后由 塞巴斯蒂安 于 2022-5-8 10:35 编辑

    【TechWeb】2022年5月7日消息,处理器设计自动化领域的领导性企业Codasip宣布:通过采用集团Siemens EDA的OneSpin IC验证工具,扩大了其形式验证解决方案的可用工具范围,以进行全面和彻底的处理器测试。Codasip不断在处理器验证方面投入巨资,以再接再厉为业界提供最高质量的处理器半导体知识产权(IP)。

    Siemens EDA的OneSpin工具提供了一个先进且无比强大的验证平台,用以解决关键的芯片完整性问题。OneSpin是极为先进的形式验证工具,适用于汽车和其他高完整性处理器应用,能以最少的设置和运行时间来验证设计实现。

    得益于其高质量的处理器,Codasip在竞争对手中脱颖而出。目前,已经有20亿颗Codasip处理器IP内核投入使用,其中大部分是面向一流客户,因此Codasip必须继续始终如一地提供最高质量的处理器IP。

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

    Codasip的首席营销官Rupert Baines评论道:“坦率地说,一些 IP在验证方面的糟糕情况令人震惊。开发人员对 IP质量的担忧合乎情理,这阻碍了它的采用。更高质量和经过形式验证的 IP将帮助它跨越鸿沟,并大规模地提高其采用率。”

    Codasip的验证总监Philippe Luc补充说:“我们为自己严格的验证方法以及强大的内部验证团队感到非常自豪。我们拥有极其彻底的内部测试方法,并结合了一流的第三方工具。作为其中的一部分,我们很高兴使用Siemens EDA的OneSpin技术,这是Codasip的重要合作伙伴,我们期待建立更紧密的和富有成效的合作关系。”
    国外芯片技术交流-Codasip携手西门子打造RISC-V领域最完整形式验证risc-v单片机中文社区(1)

    Codasip使用Siemens EDA(前身为Mentor Graphics)作为其主要的EDA工具流。

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






    上一篇:2022年 Arm发布了新一代的Cortex-M处理器,Cortex-M85,比ARM Cortex-M55还强?
    下一篇:ARM强取中国区控制权,半导体的又一座枷锁,科技无国界?
    RISCV作者优文
    全球首家只专注于RISC-V单片机行业应用的中文网站
    回复

    使用道具 举报

    高级模式
    B Color Image Link Quote Code Smilies

    本版积分规则

    关闭

    RISC-V单片机中文网上一条 /2 下一条



    版权及免责声明|RISC-V单片机中文网 |网站地图

    GMT+8, 2024-3-29 16:37 , Processed in 0.405266 second(s), 48 queries .

    快速回复 返回顶部 返回列表