risc—v 中科软 软件所正在牵头论证中科院A类先导专项“RISC-V基础软件”，布局了4个研究方向、12个模块、上百项技术攻关；根据中国科学院软件研究所官网新闻报道：2023RISC-V中国峰会在北京成功举办，中国科学院软件研究所副所长武延军受邀担任峰会主席。武延军在开幕式致辞中表示，“前期，在中国科学院的支持下，中国科学院软件研究所致力于为RISC-V国际开源社区提供操作系统发行版、编译工具链、开发环境、运行时环境，以及形式化验证工具、生态迁移工具等基础软件，作为社会公共的基础产品，助力RISC-V产业的快速发展。”
