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

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

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

　　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 位移植在此

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

　　在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新架构的软件生态建

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

　　i.MX 9 系列的新成员简化了高性价比边缘设备的开发过程，助力构建需要安全性、高性能表现以及Linux支持的可扩展、高可靠性的平台中国上海——2023年6月1日——恩智浦半导体（NXP Semiconductors N.V.，纳斯达克股票代码：NXPI）正式发布i.MX 91应用处理器系列。凭借恩智浦二十多年来在开发多市场应用处理器方面的领先优势，i.MX 91系列提供了安全、多功能、高能效的优化组合，可满足下一代基于Linux®的物联网和工业应用的需求。产品重要性新发布的协议改

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

　　2023年5月25日——在经济充满变数的这一年中，基础设施和运营（I&O）团队需要支持新的技术和工作方式，因此Gartner于近日重点发布影响2023年云、数据中心和边缘基础设施的四大趋势。Gartner研究副总裁Paul Delory表示，“在当前的经济环境下，2023年企业面临的最大问题可能并不是IT基础设施的问题。I&O团队将受到经济和地缘政治因素的影响，并在缓解这些影响方面发挥着至关重要的作用。今年或许不是实现宏伟目标的一年，但却是重新聚焦、重新调整和重新思

　　产品的成功取决于对市场趋势的敏锐感知。作为物联网解决方案提供商，您可能需要具有成本效益优化的应用处理器，以提供高性能、低功耗、多电源模式、先进的安全性，还要支持各细分市场专用连接和网络协议（如以太网或MIPI-DSI）以及高效的机器学习推理能力。此外，您还期望能够帮助加速量产，简单易用的软件工具和环境从而有效地实现硬件功能，快速开发设计。最后，您需要先进的技术支持，以便快速启动项目并发布产品。功耗和性能、复杂的安全性和简单的部署，想要同时实现这些非常具有挑战性。但在i.MX 93应用处理器系列面前，这些技

　　Gartner研究报告2023重要战略技术趋势：行业云平台介绍了行业云平台（ICP）推动实现行业相关业务成果的方式：将软件即服务（SaaS）、平台即服务（PaaS）和基础设施即服务（IaaS）与现有以及新型解决方案的组装式模块相结合（见图1）。组装式功能允许客户对ICP以“即服务”形式交付的行业定制功能进行重新组合。 图1：行业云平台演进中国的“十四五”规划强调云采用，推动了一些云服务提供商或关键行业参与者为同行企业机构创建共享基础设施池（也称为社区云）。然而，一些社区云仍然采用与企业数据中心相

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

　　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，