0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

Codasip采用Imperas进行RISC-V处理器验证

星星科技指导员 来源:嵌入式计算设计 作者:嵌入式计算设计 2022-06-01 10:11 次阅读

Codasip已采用Imperas参考设计和用于 Codasip IP的Imperas DV解决方案。

Codasip 已在其 DV 测试平台中包含 Imperas 黄金参考模型,以确保有效的验证流程能够适应各种灵活的功能和选项,同时在未来内核的整个路线图中进行扩展,以实现对功能质量的严格确认。

RISC-V 是一种模块化架构,它提供了许多不同排列的基本指令、标准可选扩展和自定义指令——这引发了对实现和碎片风险的担忧。Codasip 的内部测试已经使用了内部指令精确模型、多种直接和随机测试来源(内部和外部提供)以及多种不同的技术来检查和确保处理器合规性。Imperas 可配置参考模型已经过全面测试,并启用了支持此综合视图所需的所有配置选项。

位于法国 Sophia-Antipolis 的 Codasip 工程团队审查了不断发展的 RISC-V 规范、完整的 Codasip 处理器 IP 产品组合、扩展和可配置功能以及未来路线图计划所面临的挑战。Imperas 解决方案被认为是支持运营工作负载和规模要求的理想选择。Codasip 工程团队围绕 Imperas RISC-V 参考模型设置了基础设施和测试框架,以有效测试所有配置,并能够适应新的路线图功能。

“Imperas 是 RISC-V 仿真技术和处理器验证的先驱,”Codasip 验证总监 Philippe Luc 说。“虽然处理器验证不是一个新问题,但有许多 RISC-V 供应商提供定制和不同级别的验证或一致性:客户理所当然地关注质量和碎片化。Codasip 对我们严格的验证方法感到非常自豪——使用 Imperas 作为我们质量流程的重要组成部分,进一步扩大了我们的差异化。Imperas 的独立性、声誉和技术实力为我们的客户提供了对我们‘同类最佳’RISC-V 处理器的进一步保证,”

Imperas Software Ltd 首席执行官 Simon Davidmann 补充说:“Codasip 为 RISC-V 市场提供了一系列处理器解决方案,这些解决方案可为各种应用提供优化的性能。该处理器 IP 的设计验证是 Codasip 在向下一代 IP 转移时继续提供最高质量处理器的基础。每个附加的可选功能都会使验证工作量大致翻倍。Imperas 方法通过使用模拟将持续集成/持续开发应用到复杂的处理器 DV 环境来支持 Codasip 的开发,并在不影响可选功能的情况下提供效率优势。Imperas 和 Codasip 有着共同的愿景,即提高质量对于 RISC-V 的成功至关重要。”

可用性

Codasip 的 Imperas RISC-V 参考模型现已推出,可引导客户和合作伙伴进行软件开发,并作为虚拟平台的基础。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 处理器
    +关注

    关注

    68

    文章

    18180

    浏览量

    221893
  • RISC-V
    +关注

    关注

    41

    文章

    1877

    浏览量

    45010
收藏 人收藏

    评论

    相关推荐

    RISC-V 基础学习:RISC-V 基础介绍

    缩写 [###] 用于标识处理器位宽,取值[32, 64,128],也就是处理器的寄存位宽 [abc...xyz] 标识该处理器支持的指令模块集合 比如:RV64IMAC, 表示6
    发表于 03-12 10:25

    RISC-V处理器对应什么开发环境?

    RISC-V处理器是开源的,那开发环境需要厂商自己开发还是沿用传统的开发环境呢?比如keil
    发表于 01-13 19:18

    请问risc-v处理器在什么场景和行业应用比较多?

    如题,现在risc-v发展的如此迅猛,不知道这些处理器主要应用在哪些行业比较多呢?
    发表于 12-09 18:37

    开发出商用的RISC-V处理器还需要哪些开发工具和环境?

    开发出商用的RISC-V处理器还需要哪些开发工具和环境? 处理器是软硬件的交汇点,所以必须有完善的编译、开发工具和软件开发环境(IDE),处理器
    发表于 11-18 06:05

    思尔芯原型验证助力香山RISC-V处理器迭代加速

    2023年10月19日,思尔芯(S2C)宣布北京开源芯片研究院(简称“开芯院”)在其历代“香山”RISC-V处理器开发中采用了思尔芯的芯神瞳VU19P原型验证系统,不仅加速了产品迭代,
    的头像 发表于 10-25 08:24 327次阅读
    思尔芯原型<b class='flag-5'>验证</b>助力香山<b class='flag-5'>RISC-V</b><b class='flag-5'>处理器</b>迭代加速

    Codasip发布适用于定制计算的新一代RISC-V处理器系列产品

    推出高度灵活的700系列,以实现无限创新 德国慕尼黑,2023年10月17日 ——RISC-V定制计算领域的领导者Codasip®今日宣布:推出一款全新的、高度可配置的RISC-V基准性处理器
    发表于 10-24 17:25 356次阅读
    <b class='flag-5'>Codasip</b>发布适用于定制计算的新一代<b class='flag-5'>RISC-V</b><b class='flag-5'>处理器</b>系列产品

    思尔芯原型验证助力香山RISC-V处理器迭代加速

    2023年10月19日, 思尔芯(S2C) 宣布 北京开源芯片研究院(简称“开芯院”) 在其历代“香山” RISC-V 处理器开发中采用了思尔芯的 芯神瞳 VU19P 原型验证系统
    的头像 发表于 10-24 16:28 341次阅读

    Codasip推出全新高度可配置的RISC-V基准处理器系列

    RISC-V定制计算领域领导者 Codasip 今天宣布推出全新高度可配置的RISC-V基准处理器系列,旨在实现无限创新。该"700家族系列"包括应用和嵌入式
    的头像 发表于 10-18 10:03 341次阅读

    读《玄铁RISC-V处理器入门与实战》

    是由美国伯克利大学的 Krest 教授及其研究团队提出的,当时提出的初衷是为了计算机/电子类方向的学生做课程实践服务的。由于这是伯克利大学研究并流片的第五代RISC架构处理器,因此就命名为RISC-V
    发表于 09-28 11:58

    利用先进形式验证工具来高效完成RISC-V处理器验证

    在本文中,我们将以西门子EDA处理器验证应用程序为例,结合Codasip L31这款广受欢迎的RISC-V处理器IP提供的特性,来介绍一种利
    的头像 发表于 07-10 10:28 324次阅读
    利用先进形式<b class='flag-5'>验证</b>工具来高效完成<b class='flag-5'>RISC-V</b><b class='flag-5'>处理器</b><b class='flag-5'>验证</b>

    基于形式的高效 RISC-V 处理器验证方法

    RISC-V的开放性允许定制和扩展基于 RISC-V 内核的架构和微架构,以满足特定需求。这种对设计自由的渴望也正在将验证部分的职责转移到不断壮大的开发人员社群。然而,随着越来越多的企业和开发人员转型
    的头像 发表于 07-10 09:42 429次阅读
    基于形式的高效 <b class='flag-5'>RISC-V</b> <b class='flag-5'>处理器</b><b class='flag-5'>验证</b>方法

    Codasip的系列RISC-V处理器助力RISC-V生态建设

    的客户现在可以根据同一授权协议和合同去购买一系列精选的SmartDV外设IP的授权。这一合作伙伴关系支持使用Codasip RISC-V处理器的芯片设计人员,通过使用已验证过兼容性和集
    的头像 发表于 07-03 16:13 483次阅读

    基于形式验证的高效RISC-V处理器验证方法

    随着RISC-V处理器的快速发展,如何保证其正确性成为了一个重要的问题。传统的测试方法只能覆盖一部分错误情况,而且无法完全保证处理器的正确性。因此,基于形式验证的方法成为了一个非常有前
    的头像 发表于 06-02 10:35 999次阅读

    基于形式验证的高效RISC-V处理器验证方法

    转型RISC-V,大家才发现处理器验证绝非易事。新标准由于其新颖和灵活性而带来的新功能会在无意中产生规范和设计漏洞,因此处理器验证
    的头像 发表于 06-01 09:07 388次阅读
    基于形式<b class='flag-5'>验证</b>的高效<b class='flag-5'>RISC-V</b><b class='flag-5'>处理器</b><b class='flag-5'>验证</b>方法

    RISC-V,正在摆脱低端

    RISC-V 小芯片供应商创造了机会。 上面提到的Veyron V1就采用了类似AMD EPYC处理器那样的Chiplet设计,允许客户从Vnetana购买CPU、IO模块,然后跟自己
    发表于 05-30 14:11