AdaCore 加入 RISC-V 基金会,带来 C 与 Ada 编译支持

栏目: IT资讯 · 发布时间: 5年前

内容简介:AdaCore 近日宣布其成为 RISC-V 基金会的成员。 RISC-V 基金会是一个非盈利组织,旨在标准化和推广免费和开放的 RISC-V 指令集架构(ISA)及其硬件和软件生态系统,当前由 200 多名成员组成。 RISC-V 是一个开放式...

AdaCore 近日宣布其成为 RISC-V 基金会的成员

AdaCore 加入 RISC-V 基金会,带来 C 与 Ada 编译支持

RISC-V 基金会是一个非盈利组织,旨在标准化和推广免费和开放的 RISC-V 指令集架构(ISA)及其硬件和软件生态系统,当前由 200 多名成员组成。

RISC-V 是一个开放式指令集,最初由加州大学伯克利分校 EECS 系计算机科学部开发,近两年其发展势头不小,因其简单、开放等特性,相继吸引来 IBM、NXP、西部数据、英伟达、高通、三星、谷歌、华为与特斯拉等 100 多家科技公司加入其阵营,行业也不断在围绕它构建生态系统,对 ARM 等竞争对手造成了巨大的冲击。

AdaCore 成立于 1994 年,为关键任务与安全关键型系统提供软件开发和验证工具。知名编程语言 Ada 与 SPARK 即出自其手。

加入 RISC-V 基金会,AdaCore 将其 Ada 与 SPARK 编程语言引入 RISC-V 开发生态,为该生态带来了一股新力量。


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

数码人类学

数码人类学

[英]丹尼尔·米勒、希瑟·A.霍斯特 / 王心远 / 人民出版社 / 2014-10 / 48.00元

人类学有两大任务,一是理解什么是人,二是理解人性是如何透过多元的文化表现出来。数码科技的蓬勃发展给这两者都带来了新的作用力。《数码人类学》向读者展示了人类与数码科技如何辩证地相互定义。最终我们试图得出一个结论,那便是“数码科技对人类到底意味着什么?” 从社交网站到数字化博物馆;从数字时代政治学到电子商务,浸润式的数码科技,给普通人的生活带来了根本性的改变。仅仅用数据来说明与理解问题显然过于太......一起来看看 《数码人类学》 这本书的介绍吧!

HTML 压缩/解压工具
HTML 压缩/解压工具

在线压缩/解压 HTML 代码

Markdown 在线编辑器
Markdown 在线编辑器

Markdown 在线编辑器

html转js在线工具
html转js在线工具

html转js在线工具