v-lock 文章進(jìn)入v-lock技術(shù)社區(qū)

利用先進(jìn)形式驗(yàn)證工具來高效完成RISC-V處理器驗(yàn)證

我們?cè)谏弦黄夹g(shù)白皮書《基于形式驗(yàn)證的高效RISC-V處理器驗(yàn)證方法》中，以Codasip L31這款用于微控制器應(yīng)用的32位中端嵌入式RISC-V處理器內(nèi)核為例，介紹了一個(gè)基于形式驗(yàn)證的、易于調(diào)動(dòng)的RISC-V處理器驗(yàn)證程序。它與RISC-V ISA黃金模型和RISC-V合規(guī)性自動(dòng)生成的檢查一起，展示了如何有效地定位那些無法進(jìn)行仿真的漏洞。RISC-V的開放性允許定制和擴(kuò)展基于RISC-V內(nèi)核的架構(gòu)和微架構(gòu)，以滿足特定需求。這種對(duì)設(shè)計(jì)自由的渴望也正在將驗(yàn)證部分的職責(zé)轉(zhuǎn)移到不斷壯大的開發(fā)人員社群。然而，隨
關(guān)鍵字：形式驗(yàn)證工具 RISC-V 驗(yàn)證

IAR與先楫半導(dǎo)體達(dá)成戰(zhàn)略合作，支持先楫RISC-V MCU開發(fā)

（中國(guó)｜上海）2023年6月14日 - 在Embedded World China首屆展會(huì)舉辦期間，嵌入式開發(fā)軟件和服務(wù)的全球領(lǐng)導(dǎo)者 IAR 與國(guó)產(chǎn)領(lǐng)先高性能MCU廠商先楫半導(dǎo)體（HPMicro）共同宣布達(dá)成戰(zhàn)略合作協(xié)議：IAR 最新的 Embedded Workbench for RISC-V 版本將全面支持先楫HPM6000高性能RISC-V MCU系列，這是IAR 首次支持高性能通用RISC-V MCU產(chǎn)品系列。IAR為先楫半導(dǎo)體的創(chuàng)新產(chǎn)品提供全面的開發(fā)工具支持，包括
關(guān)鍵字： IAR 先楫 RISC-V MCU

2023 SiFive RISC-V中國(guó)技術(shù)論壇即將盛大開幕

指令精簡(jiǎn)、模塊化、可擴(kuò)展……已于2022年利用7年時(shí)間達(dá)成出貨量100億顆的里程碑，RSIC-V正在充分發(fā)揮自身的開放開源優(yōu)勢(shì)，一路開疆拓土。身為RISC-V的發(fā)明者與領(lǐng)導(dǎo)廠商，SiFive正發(fā)揮開源生態(tài)疊加未來計(jì)算新范式的“鏈主”效應(yīng)，致力于將RISC-V的無限潛力引領(lǐng)至高性能處理器與高算力場(chǎng)景應(yīng)用中。?同時(shí)，100億顆RISC-V處理器芯片中，近一半產(chǎn)自中國(guó)的亮眼數(shù)據(jù)有目共睹，RISC-V在中國(guó)市場(chǎng)信心持續(xù)走高，在此大環(huán)境背景下，SiFive親自運(yùn)營(yíng)中國(guó)市場(chǎng)與業(yè)務(wù)，希望和中國(guó)一起見證RISC
關(guān)鍵字： SiFive RISC-V

Debian 13“Trixie”Linux 發(fā)行版有望將帶來 RISC-V 64 位支持

IT之家 6 月 12 日消息，Debian 是最為古老的 GNU / Linux 發(fā)行版之一，該操作系統(tǒng)以穩(wěn)定性為重，不追求高速迭代，因此在新版本發(fā)布很早以前，就會(huì)揭曉一系列新特性。目前 Debian 項(xiàng)目宣布，在未來的 Debian 13 “Trixie” 中，將帶來 RISC-V 64 位支持。日前 Debian 發(fā)布團(tuán)隊(duì)分享的更新郵件中，Debian 開發(fā)人員 Jonathan Wiltshire 透露了 RISC-V 架構(gòu)下 Debian 的現(xiàn)狀：“雖然 RISC-V 64 位移植在此
關(guān)鍵字： RISC-V

三星、英特爾、高通等 13 家企業(yè)發(fā)起 RISC-V 軟件生態(tài)計(jì)劃 RISE

IT之家 6 月 2 日消息，三星、英特爾、英偉達(dá)、高通、聯(lián)發(fā)科、谷歌等 13 家 IT 和半導(dǎo)體企業(yè)今日在比利時(shí)布魯塞爾正式發(fā)起全球 RISC-V 軟件生態(tài)計(jì)劃“RISE”。據(jù)介紹，該計(jì)劃旨在加速 RISC-V 新架構(gòu)的軟件生態(tài)建設(shè)及應(yīng)用商業(yè)化進(jìn)程，推動(dòng) RISC-V 處理器在移動(dòng)通信、數(shù)據(jù)中心、邊緣計(jì)算及自動(dòng)駕駛等領(lǐng)域的市場(chǎng)化落地。RISE 創(chuàng)始董事會(huì)包含 13 名成員：谷歌、英特爾、平頭哥、三星、聯(lián)發(fā)科、英偉達(dá)、高通、Andes、Imagination、Red Hat、Rivos、SiFive、Ve
關(guān)鍵字： RISC-V

RISC-V切入云計(jì)算的元年，進(jìn)展如何了？

近兩年，RISC-V 作為 IT 產(chǎn)業(yè)鏈中國(guó)產(chǎn)替代中的重要一環(huán)備受關(guān)注。這個(gè)基于 BSD 協(xié)議開源，基金會(huì)總部設(shè)在瑞士的開源指令集也一直被視為 X86 和 ARM 強(qiáng)有力的競(jìng)爭(zhēng)對(duì)手。不過，由于起步較晚，性能與生態(tài)尚未成熟，RISC-V 以往更多地是用在物聯(lián)網(wǎng)領(lǐng)域。今年，算能科技基于阿里平頭哥玄鐵 C910 開發(fā)了一臺(tái) 64 核 RISC-V 服務(wù)器 SG2042。這一動(dòng)作則拉開了 RISC-V 挺入云計(jì)算領(lǐng)域的序幕，2023 也被業(yè)界看做是 RISC-V 進(jìn)入云計(jì)算的元年。本期開源訪談我們邀請(qǐng)中國(guó)電信研究
關(guān)鍵字： RISC-V 崔恩放

阿里加入RISC-V官方組織，還有高通、三星、intel也加入了

在ARM、X86芯片架構(gòu)之后，最被大家看好的芯片架構(gòu)就是RISC-V了。特別是中國(guó)芯片廠商，紛紛擁抱RISC-V架構(gòu)，原因在于RISC-V架構(gòu)是開源免費(fèi)的，不怕被人卡脖子。所以我們看到中科院、阿里紛紛推出了眾多的RISC-V芯片，2022年全球出貨100億顆RISC-V芯片中，50%是中國(guó)廠商貢獻(xiàn)的。也正因?yàn)镽ISC-V架構(gòu)的火爆，最近全球13家知名IT巨頭，成立了一個(gè)RISC-V軟件生態(tài)系統(tǒng) (RISE) 的指導(dǎo)委員會(huì)。這個(gè)委員會(huì)的目的，就是推進(jìn)RISC-V芯片的落地，加速RISC-V新架構(gòu)的軟件生態(tài)建
關(guān)鍵字： RISC-V 阿里

科技巨頭聯(lián)合發(fā)起RISC-V生態(tài)計(jì)劃年出貨將超800億顆

據(jù)報(bào)道，由谷歌、英特爾、平頭哥等13家企業(yè)發(fā)起的全球RISC-V軟件生態(tài)計(jì)劃“RISE”，在比利時(shí)布魯塞爾正式啟動(dòng)。RISE旨在加速RISC-V新架構(gòu)的軟件生態(tài)建設(shè)及應(yīng)用商業(yè)化進(jìn)程，成員將聯(lián)合推動(dòng)RISC-V處理器在移動(dòng)通信、數(shù)據(jù)中心、邊緣計(jì)算及自動(dòng)駕駛等領(lǐng)域的市場(chǎng)化落地。面對(duì)物聯(lián)網(wǎng)等應(yīng)用新變化，RISC-V作為新一代指令集，擁有開源、精簡(jiǎn)、靈活、可自定義的特點(diǎn)，相比封閉的ARM指令集，更適合專用處理器的開發(fā)，有望在IoT MCU市場(chǎng)迅速擴(kuò)張，而后推廣至數(shù)據(jù)中心等領(lǐng)域。我國(guó)RISC-V發(fā)展意義更加重大，在
關(guān)鍵字： RISC-V

基于形式驗(yàn)證的高效RISC-V處理器驗(yàn)證方法

RISC-V的開放性允許定制和擴(kuò)展基于 RISC-V 內(nèi)核的架構(gòu)和微架構(gòu)，以滿足特定需求。這種對(duì)設(shè)計(jì)自由的渴望也正在將驗(yàn)證部分的職責(zé)轉(zhuǎn)移到不斷壯大的開發(fā)人員社群。然而，隨著越來越多的企業(yè)和開發(fā)人員轉(zhuǎn)型RISC-V，大家才發(fā)現(xiàn)處理器驗(yàn)證絕非易事。新標(biāo)準(zhǔn)由于其新穎和靈活性而帶來的新功能會(huì)在無意中產(chǎn)生規(guī)范和設(shè)計(jì)漏洞，因此處理器驗(yàn)證是處理器開發(fā)過程中一項(xiàng)非常重要的環(huán)節(jié)。在復(fù)雜性一般的RISC-V 處理器內(nèi)核的開發(fā)過程中，會(huì)發(fā)現(xiàn)數(shù)百甚至數(shù)千個(gè)漏洞。當(dāng)引入更多高級(jí)特性的時(shí)候，也會(huì)引入復(fù)雜程度各不相同的新漏洞。而某些類
關(guān)鍵字：形式驗(yàn)證 RISC-V

強(qiáng)攻安卓高階市場(chǎng) SONY發(fā)表Xperia 1 V旗艦新機(jī)

Sony年度旗艦新機(jī)Xperia 1 V今日正式在臺(tái)推出，今年4月上任以來首次參與中國(guó)臺(tái)灣Xperia手機(jī)的上市發(fā)表的Sony Mobile中國(guó)臺(tái)灣區(qū)總經(jīng)理筒塩具隆 (Tomotaka Tsutsushio)表示，Xperia 1系列致力滿足安卓高階旗艦手機(jī)的市場(chǎng)需求，透過近年來集團(tuán)內(nèi)部的業(yè)務(wù)整合，Xperia 1系列歷代的產(chǎn)品設(shè)計(jì)和技術(shù)創(chuàng)新持續(xù)在拍照、錄像、游戲、音樂等領(lǐng)域帶給消費(fèi)者引領(lǐng)業(yè)界的全方位行動(dòng)娛樂產(chǎn)品。Xperia 1 V采用Sony集團(tuán)全新開發(fā)的雙層式架構(gòu)感光組件，同時(shí)整合Sony領(lǐng)先的相機(jī)
關(guān)鍵字：安卓 SONY Xperia 1 V

歐洲RISC-V處理器流片：216核心不需要風(fēng)扇散熱

5月9日消息，歐洲航天局(ESA)贊助、瑞士蘇黎世聯(lián)邦理工學(xué)院和意大利博洛尼亞大學(xué)共同開發(fā)的“Occany”(鳥蛇)處理器，現(xiàn)已流片。這顆處理器基于開源開放的RISC-V架構(gòu)，GlobalFoundries 12nm LPP低功耗工藝，chiplet小芯片設(shè)計(jì)，2.5D封裝，雙芯片共集成多達(dá)216個(gè)核心，晶體管數(shù)量達(dá)10億個(gè)，而面積僅為73平方毫米。同時(shí)，它還集成了未公開數(shù)量的64位FPU浮點(diǎn)單元，整合兩顆美光的16GB HBM2e高帶寬內(nèi)存。硅中介層面積26.3 x 23.05毫米，制造工藝為65nm，
關(guān)鍵字： risc-v 架構(gòu) 處理器

歐盟前沿性NimbleAI項(xiàng)目采用定制RISC-V處理器

隨著越來越多的研究伙伴加入以及新技術(shù)和新產(chǎn)品的不斷披露，歐盟于2022年底啟動(dòng)的NimbleAI這一前沿項(xiàng)目在喧囂的GPT熱潮中，開始展現(xiàn)出一條新的智能化和數(shù)字化轉(zhuǎn)型之道。NimbleAI旨在推動(dòng)神經(jīng)形態(tài)視覺（neuromorphic vision）傳感和處理技術(shù)的發(fā)展和研究。作為一種創(chuàng)新的視覺感知和處理技術(shù)，神經(jīng)形態(tài)視覺參考了生物系統(tǒng)工作方式，通過檢測(cè)動(dòng)態(tài)場(chǎng)景中的變化來決定是否更細(xì)致地查看捕捉到的內(nèi)容，而不是花費(fèi)大量資源區(qū)連續(xù)分析整個(gè)場(chǎng)景，從而節(jié)省大量資源和大幅度縮短延遲。盡管NimbleAI是一個(gè)啟動(dòng)
關(guān)鍵字： NimbleAI 定制RISC-V 神經(jīng)形態(tài)視覺 3D集成芯片

“這一次芯片浪潮，我們沒有掉隊(duì)”，中國(guó)加速布局開源芯片RISC-V生態(tài)

近日，2022年圖靈獎(jiǎng)?lì)C給了“以太網(wǎng)之父”、3Com公司創(chuàng)始人羅伯特·梅特卡夫。他研發(fā)的以太網(wǎng)設(shè)備及其協(xié)議，允許設(shè)備連接到局域網(wǎng)并共享打印機(jī)和文件等資源，極大降低了網(wǎng)絡(luò)連接成本。在中國(guó)開放指令生態(tài)（RISC-V）聯(lián)盟秘書長(zhǎng)、中科院計(jì)算技術(shù)研究所研究員包云崗看來，以太網(wǎng)成功的最大啟示是做開放標(biāo)準(zhǔn)，它為下一步創(chuàng)新提供平臺(tái)、拓展市場(chǎng)、繁榮生態(tài)，其背后的開源文化實(shí)則是一種生產(chǎn)方式的革新。在日前舉行的開源硬件與新一代工業(yè)革命論壇上，專家表示，開源作為一種創(chuàng)新協(xié)作模式不僅引發(fā)了軟件產(chǎn)業(yè)變革，未來還將引發(fā)硬件、數(shù)據(jù)、算
關(guān)鍵字： RISC-V

是否存在用于 RISC-V 驗(yàn)證的必要工具？

現(xiàn)有可用于 RISC-V 的工具可能不是最有效或最高效的。怎么辦？
關(guān)鍵字： RISC-V

Codasip和IAR強(qiáng)強(qiáng)聯(lián)手，共同演示用于RISC-V的雙核鎖步技術(shù)

德國(guó)紐倫堡，2023年嵌入式世界展會(huì)（Embedded World 2023），2023年3月14日——Codasip和IAR共同宣布將強(qiáng)強(qiáng)聯(lián)手為低功耗嵌入式汽車應(yīng)用提供全新的創(chuàng)新支持，雙方將聯(lián)手為客戶提供屢獲殊榮的Codasip L31內(nèi)核和獲得安全性認(rèn)證的最新版本IAR Embedded Workbench for RISC-V開發(fā)工具鏈。此次合作可為汽車應(yīng)用開發(fā)人員提供一條便捷之道，以幫助他們推出基于多功能的Codasip L31內(nèi)核且符合ISO 26262認(rèn)證標(biāo)準(zhǔn)的嵌入式應(yīng)用。Codasip的雙內(nèi)
關(guān)鍵字： Codasip IAR RISC-V 雙核鎖步技術(shù)