跳转到主要内容

RISC-V

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

winniewei /

RISC-V的开放性允许定制和扩展基于 RISC-V 内核的架构和微架构,以满足特定需求。这种对设计自由的渴望也正在将验证部分的职责转移到不断壮大的开发人员社群。然而,随着越来越多的企业和开发人员转型RISC-V,大家才发现处理器验证绝非易事。

RISC-V 32位MCU出货量超亿颗!爱普特荣获阿里巴巴平头哥“ 玄铁优选伙伴”荣誉

winniewei /

3月2日,以“开放·连接”为主题的阿里巴巴平头哥2023玄铁RISC-V生态大会在上海召开。会议上平头哥全面展示了RISC-V生态最新进展及在各行各业商业化的成功案例,并发布了RISC-V技术及应用的最新成果,和与会伙伴们共同探讨RISC-V生态发展新方向。

首届玄铁RISC-V生态大会上海举办,阿里平头哥完成主流操作系统全适配

winniewei /

3月2日,由阿里巴巴平头哥举办的首届玄铁RISC-V生态大会在上海举行。大会以“开放、连接”为主题,英特尔、谷歌、Canonical、Imagination、海尔、支付宝、网易有道、创维酷开等全球数百家企业及机构代表齐聚一堂,成为中国RISC-V发展史上规模最大的一次会议。