首页　 资讯　 商机 　 下载　 拆解 　 高校　 招聘 　 杂志　 会展　 EETV　 百科 　 问答　 电路图　 工程师手册 　 Datasheet　 100例 　 活动中心　 E周刊阅读 　 样片申请
EEPW首页 >> 主题列表 >> noel-v

noel-v 文章 进入noel-v技术社区

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

  • 我们在上一篇技术白皮书《基于形式验证的高效RISC-V处理器验证方法》中，以Codasip L31这款用于微控制器应用的32位中端嵌入式RISC-V处理器内核为例，介绍了一个基于形式验证的、易于调动的RISC-V处理器验证程序。它与RISC-V ISA黄金模型和RISC-V合规性自动生成的检查一起，展示了如何有效地定位那些无法进行仿真的漏洞。RISC-V的开放性允许定制和扩展基于RISC-V内核的架构和微架构，以满足特定需求。这种对设计自由的渴望也正在将验证部分的职责转移到不断壮大的开发人员社群。然而，随
  • 关键字： 形式验证工具  RISC-V  验证  

IAR与先楫半导体达成战略合作，支持先楫RISC-V MCU开发

  • （中国｜上海）2023年6月14日 - 在Embedded World China首届展会举办期间，嵌入式开发软件和服务的全球领导者 IAR  与国产领先高性能MCU厂商先楫半导体（HPMicro）共同宣布达成战略合作协议：IAR 最新的 Embedded Workbench for RISC-V 版本将全面支持先楫HPM6000高性能RISC-V MCU系列，这是IAR 首次支持高性能通用RISC-V MCU产品系列。IAR为先楫半导体的创新产品提供全面的开发工具支持，包括
  • 关键字： IAR  先楫  RISC-V MCU  

2023 SiFive RISC-V中国技术论坛即将盛大开幕

  • 指令精简、模块化、可扩展……已于2022年利用7年时间达成出货量100亿颗的里程碑，RSIC-V正在充分发挥自身的开放开源优势，一路开疆拓土。身为RISC-V的发明者与领导厂商，SiFive正发挥开源生态叠加未来计算新范式的“链主”效应，致力于将RISC-V的无限潜力引领至高性能处理器与高算力场景应用中。 同时，100亿颗RISC-V处理器芯片中，近一半产自中国的亮眼数据有目共睹，RISC-V在中国市场信心持续走高，在此大环境背景下，SiFive亲自运营中国市场与业务，希望和中国一起见证RISC
  • 关键字： SiFive  RISC-V  

Debian 13“Trixie”Linux 发行版有望将带来 RISC-V 64 位支持

  • IT之家 6 月 12 日消息，Debian 是最为古老的 GNU / Linux 发行版之一，该操作系统以稳定性为重，不追求高速迭代，因此在新版本发布很早以前，就会揭晓一系列新特性。目前 Debian 项目宣布，在未来的 Debian 13 “Trixie” 中，将带来 RISC-V 64 位支持。日前 Debian 发布团队分享的更新邮件中，Debian 开发人员 Jonathan Wiltshire 透露了 RISC-V 架构下 Debian 的现状：“虽然 RISC-V 64 位移植在此
  • 关键字： RISC-V  

三星、英特尔、高通等 13 家企业发起 RISC-V 软件生态计划 RISE

  • IT之家 6 月 2 日消息，三星、英特尔、英伟达、高通、联发科、谷歌等 13 家 IT 和半导体企业今日在比利时布鲁塞尔正式发起全球 RISC-V 软件生态计划“RISE”。据介绍，该计划旨在加速 RISC-V 新架构的软件生态建设及应用商业化进程，推动 RISC-V 处理器在移动通信、数据中心、边缘计算及自动驾驶等领域的市场化落地。RISE 创始董事会包含 13 名成员：谷歌、英特尔、平头哥、三星、联发科、英伟达、高通、Andes、Imagination、Red Hat、Rivos、SiFive、Ve
  • 关键字： RISC-V  

RISC-V切入云计算的元年，进展如何了？

  • 近两年，RISC-V 作为 IT 产业链中国产替代中的重要一环备受关注。这个基于 BSD 协议开源，基金会总部设在瑞士的开源指令集也一直被视为 X86 和 ARM 强有力的竞争对手。不过，由于起步较晚，性能与生态尚未成熟，RISC-V 以往更多地是用在物联网领域。今年，算能科技基于阿里平头哥玄铁 C910 开发了一台 64 核 RISC-V 服务器 SG2042。这一动作则拉开了 RISC-V 挺入云计算领域的序幕，2023 也被业界看做是 RISC-V 进入云计算的元年。本期开源访谈我们邀请中国电信研究
  • 关键字： RISC-V  崔恩放  

阿里加入RISC-V官方组织，还有高通、三星、intel也加入了

  • 在ARM、X86芯片架构之后，最被大家看好的芯片架构就是RISC-V了。特别是中国芯片厂商，纷纷拥抱RISC-V架构，原因在于RISC-V架构是开源免费的，不怕被人卡脖子。所以我们看到中科院、阿里纷纷推出了众多的RISC-V芯片，2022年全球出货100亿颗RISC-V芯片中，50%是中国厂商贡献的。也正因为RISC-V架构的火爆，最近全球13家知名IT巨头，成立了一个RISC-V软件生态系统 (RISE) 的指导委员会。这个委员会的目的，就是推进RISC-V芯片的落地，加速RISC-V新架构的软件生态建
  • 关键字： RISC-V  阿里  

科技巨头联合发起RISC-V生态计划 年出货将超800亿颗

  • 据报道，由谷歌、英特尔、平头哥等13家企业发起的全球RISC-V软件生态计划“RISE”，在比利时布鲁塞尔正式启动。RISE旨在加速RISC-V新架构的软件生态建设及应用商业化进程，成员将联合推动RISC-V处理器在移动通信、数据中心、边缘计算及自动驾驶等领域的市场化落地。面对物联网等应用新变化，RISC-V作为新一代指令集，拥有开源、精简、灵活、可自定义的特点，相比封闭的ARM指令集，更适合专用处理器的开发，有望在IoT MCU市场迅速扩张，而后推广至数据中心等领域。我国RISC-V发展意义更加重大，在
  • 关键字： RISC-V  

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

  • RISC-V的开放性允许定制和扩展基于 RISC-V 内核的架构和微架构，以满足特定需求。这种对设计自由的渴望也正在将验证部分的职责转移到不断壮大的开发人员社群。然而，随着越来越多的企业和开发人员转型RISC-V，大家才发现处理器验证绝非易事。新标准由于其新颖和灵活性而带来的新功能会在无意中产生规范和设计漏洞，因此处理器验证是处理器开发过程中一项非常重要的环节。在复杂性一般的RISC-V 处理器内核的开发过程中，会发现数百甚至数千个漏洞。当引入更多高级特性的时候，也会引入复杂程度各不相同的新漏洞。而某些类
  • 关键字： 形式验证  RISC-V  

强攻安卓高阶市场 SONY发表Xperia 1 V旗舰新机

  • Sony年度旗舰新机Xperia 1 V今日正式在台推出，今年4月上任以来首次参与中国台湾Xperia手机的上市发表的Sony Mobile中国台湾区总经理筒塩具隆 (Tomotaka Tsutsushio)表示，Xperia 1系列致力满足安卓高阶旗舰手机的市场需求，透过近年来集团内部的业务整合，Xperia 1系列历代的产品设计和技术创新持续在拍照、录像、游戏、音乐等领域带给消费者引领业界的全方位行动娱乐产品。Xperia 1 V采用Sony集团全新开发的双层式架构感光组件，同时整合Sony领先的相机
  • 关键字： 安卓  SONY  Xperia 1 V  

欧洲RISC-V处理器流片：216核心 不需要风扇散热

  • 5月9日消息，欧洲航天局(ESA)赞助、瑞士苏黎世联邦理工学院和意大利博洛尼亚大学共同开发的“Occany”(鸟蛇)处理器，现已流片。这颗处理器基于开源开放的RISC-V架构，GlobalFoundries 12nm LPP低功耗工艺，chiplet小芯片设计，2.5D封装，双芯片共集成多达216个核心，晶体管数量达10亿个，而面积仅为73平方毫米。同时，它还集成了未公开数量的64位FPU浮点单元，整合两颗美光的16GB HBM2e高带宽内存。硅中介层面积26.3 x 23.05毫米，制造工艺为65nm，
  • 关键字： risc-v  架构  处理器  

欧盟前沿性NimbleAI项目采用定制RISC-V处理器

  • 随着越来越多的研究伙伴加入以及新技术和新产品的不断披露，欧盟于2022年底启动的NimbleAI这一前沿项目在喧嚣的GPT热潮中，开始展现出一条新的智能化和数字化转型之道。NimbleAI旨在推动神经形态视觉（neuromorphic vision）传感和处理技术的发展和研究。作为一种创新的视觉感知和处理技术，神经形态视觉参考了生物系统工作方式，通过检测动态场景中的变化来决定是否更细致地查看捕捉到的内容，而不是花费大量资源区连续分析整个场景，从而节省大量资源和大幅度缩短延迟。尽管NimbleAI是一个启动
  • 关键字： NimbleAI  定制RISC-V  神经形态视觉  3D集成芯片  

“这一次芯片浪潮，我们没有掉队”，中国加速布局开源芯片RISC-V生态

  • 近日，2022年图灵奖颁给了“以太网之父”、3Com公司创始人罗伯特·梅特卡夫。他研发的以太网设备及其协议，允许设备连接到局域网并共享打印机和文件等资源，极大降低了网络连接成本。在中国开放指令生态（RISC-V）联盟秘书长、中科院计算技术研究所研究员包云岗看来，以太网成功的最大启示是做开放标准，它为下一步创新提供平台、拓展市场、繁荣生态，其背后的开源文化实则是一种生产方式的革新。在日前举行的开源硬件与新一代工业革命论坛上，专家表示，开源作为一种创新协作模式不仅引发了软件产业变革，未来还将引发硬件、数据、算
  • 关键字： RISC-V  

是否存在用于 RISC-V 验证的必要工具？

  • 现有可用于 RISC-V 的工具可能不是最有效或最高效的。怎么办？
  • 关键字： RISC-V  

Codasip和IAR强强联手，共同演示用于RISC-V的双核锁步技术

  • 德国纽伦堡，2023年嵌入式世界展会（Embedded World 2023），2023年3月14日——Codasip和IAR共同宣布将强强联手为低功耗嵌入式汽车应用提供全新的创新支持，双方将联手为客户提供屡获殊荣的Codasip L31内核和获得安全性认证的最新版本IAR Embedded Workbench for RISC-V开发工具链。此次合作可为汽车应用开发人员提供一条便捷之道，以帮助他们推出基于多功能的Codasip L31内核且符合ISO 26262认证标准的嵌入式应用。Codasip的双内
  • 关键字： Codasip  IAR  RISC-V  双核锁步技术  
共347条 6/24 |‹ « 4 5 6 7 8 9 10 11 12 13 » ›|

noel-v介绍

您好，目前还没有人创建词条noel-v!
欢迎您创建该词条，阐述对noel-v的理解，并与今后在此搜索noel-v的朋友们分享。    创建词条

noel-v电路

更多

noel-v相关帖子

更多

noel-v资料下载

更多

noel-v专栏文章

更多

热门主题

树莓派    linux   
关于我们 - 广告服务 - 企业会员服务 - 网站地图 - 联系我们 - 征稿 - 友情链接 - 手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
备案 京ICP备12027778号-2 北京市公安局备案：1101082052    京公网安备11010802012473