v 文章 進入v技術社區(qū)
利用先進形式驗證工具來高效完成RISC-V處理器驗證
- 我們在上一篇技術白皮書《基于形式驗證的高效RISC-V處理器驗證方法》中，以Codasip L31這款用于微控制器應用的32位中端嵌入式RISC-V處理器內(nèi)核為例，介紹了一個基于形式驗證的、易于調(diào)動的RISC-V處理器驗證程序。它與RISC-V ISA黃金模型和RISC-V合規(guī)性自動生成的檢查一起，展示了如何有效地定位那些無法進行仿真的漏洞。RISC-V的開放性允許定制和擴展基于RISC-V內(nèi)核的架構和微架構，以滿足特定需求。這種對設計自由的渴望也正在將驗證部分的職責轉(zhuǎn)移到不斷壯大的開發(fā)人員社群。然而，隨
- 關鍵字： 形式驗證工具 RISC-V 驗證
IAR與先楫半導體達成戰(zhàn)略合作，支持先楫RISC-V MCU開發(fā)
- （中國｜上海）2023年6月14日 - 在Embedded World China首屆展會舉辦期間，嵌入式開發(fā)軟件和服務的全球領導者 IAR 與國產(chǎn)領先高性能MCU廠商先楫半導體（HPMicro）共同宣布達成戰(zhàn)略合作協(xié)議：IAR 最新的 Embedded Workbench for RISC-V 版本將全面支持先楫HPM6000高性能RISC-V MCU系列，這是IAR 首次支持高性能通用RISC-V MCU產(chǎn)品系列。IAR為先楫半導體的創(chuàng)新產(chǎn)品提供全面的開發(fā)工具支持，包括
- 關鍵字： IAR 先楫 RISC-V MCU
2023 SiFive RISC-V中國技術論壇即將盛大開幕
- 指令精簡、模塊化、可擴展……已于2022年利用7年時間達成出貨量100億顆的里程碑，RSIC-V正在充分發(fā)揮自身的開放開源優(yōu)勢，一路開疆拓土。身為RISC-V的發(fā)明者與領導廠商，SiFive正發(fā)揮開源生態(tài)疊加未來計算新范式的“鏈主”效應，致力于將RISC-V的無限潛力引領至高性能處理器與高算力場景應用中。?同時，100億顆RISC-V處理器芯片中，近一半產(chǎn)自中國的亮眼數(shù)據(jù)有目共睹，RISC-V在中國市場信心持續(xù)走高，在此大環(huán)境背景下，SiFive親自運營中國市場與業(yè)務，希望和中國一起見證RISC
- 關鍵字： SiFive RISC-V
Debian 13“Trixie”Linux 發(fā)行版有望將帶來 RISC-V 64 位支持
- IT之家 6 月 12 日消息，Debian 是最為古老的 GNU / Linux 發(fā)行版之一，該操作系統(tǒng)以穩(wěn)定性為重，不追求高速迭代，因此在新版本發(fā)布很早以前，就會揭曉一系列新特性。目前 Debian 項目宣布，在未來的 Debian 13 “Trixie” 中，將帶來 RISC-V 64 位支持。日前 Debian 發(fā)布團隊分享的更新郵件中，Debian 開發(fā)人員 Jonathan Wiltshire 透露了 RISC-V 架構下 Debian 的現(xiàn)狀：“雖然 RISC-V 64 位移植在此
- 關鍵字： RISC-V
三星、英特爾、高通等 13 家企業(yè)發(fā)起 RISC-V 軟件生態(tài)計劃 RISE
- IT之家 6 月 2 日消息，三星、英特爾、英偉達、高通、聯(lián)發(fā)科、谷歌等 13 家 IT 和半導體企業(yè)今日在比利時布魯塞爾正式發(fā)起全球 RISC-V 軟件生態(tài)計劃“RISE”。據(jù)介紹，該計劃旨在加速 RISC-V 新架構的軟件生態(tài)建設及應用商業(yè)化進程，推動 RISC-V 處理器在移動通信、數(shù)據(jù)中心、邊緣計算及自動駕駛等領域的市場化落地。RISE 創(chuàng)始董事會包含 13 名成員：谷歌、英特爾、平頭哥、三星、聯(lián)發(fā)科、英偉達、高通、Andes、Imagination、Red Hat、Rivos、SiFive、Ve
- 關鍵字： RISC-V
RISC-V切入云計算的元年，進展如何了？
- 近兩年，RISC-V 作為 IT 產(chǎn)業(yè)鏈中國產(chǎn)替代中的重要一環(huán)備受關注。這個基于 BSD 協(xié)議開源，基金會總部設在瑞士的開源指令集也一直被視為 X86 和 ARM 強有力的競爭對手。不過，由于起步較晚，性能與生態(tài)尚未成熟，RISC-V 以往更多地是用在物聯(lián)網(wǎng)領域。今年，算能科技基于阿里平頭哥玄鐵 C910 開發(fā)了一臺 64 核 RISC-V 服務器 SG2042。這一動作則拉開了 RISC-V 挺入云計算領域的序幕，2023 也被業(yè)界看做是 RISC-V 進入云計算的元年。本期開源訪談我們邀請中國電信研究
- 關鍵字： RISC-V 崔恩放
科技巨頭聯(lián)合發(fā)起RISC-V生態(tài)計劃 年出貨將超800億顆
- 據(jù)報道，由谷歌、英特爾、平頭哥等13家企業(yè)發(fā)起的全球RISC-V軟件生態(tài)計劃“RISE”，在比利時布魯塞爾正式啟動。RISE旨在加速RISC-V新架構的軟件生態(tài)建設及應用商業(yè)化進程，成員將聯(lián)合推動RISC-V處理器在移動通信、數(shù)據(jù)中心、邊緣計算及自動駕駛等領域的市場化落地。面對物聯(lián)網(wǎng)等應用新變化，RISC-V作為新一代指令集，擁有開源、精簡、靈活、可自定義的特點，相比封閉的ARM指令集，更適合專用處理器的開發(fā)，有望在IoT MCU市場迅速擴張，而后推廣至數(shù)據(jù)中心等領域。我國RISC-V發(fā)展意義更加重大，在
- 關鍵字： RISC-V
基于形式驗證的高效RISC-V處理器驗證方法
- RISC-V的開放性允許定制和擴展基于 RISC-V 內(nèi)核的架構和微架構，以滿足特定需求。這種對設計自由的渴望也正在將驗證部分的職責轉(zhuǎn)移到不斷壯大的開發(fā)人員社群。然而，隨著越來越多的企業(yè)和開發(fā)人員轉(zhuǎn)型RISC-V，大家才發(fā)現(xiàn)處理器驗證絕非易事。新標準由于其新穎和靈活性而帶來的新功能會在無意中產(chǎn)生規(guī)范和設計漏洞，因此處理器驗證是處理器開發(fā)過程中一項非常重要的環(huán)節(jié)。在復雜性一般的RISC-V 處理器內(nèi)核的開發(fā)過程中，會發(fā)現(xiàn)數(shù)百甚至數(shù)千個漏洞。當引入更多高級特性的時候，也會引入復雜程度各不相同的新漏洞。而某些類
- 關鍵字： 形式驗證 RISC-V
強攻安卓高階市場 SONY發(fā)表Xperia 1 V旗艦新機
- Sony年度旗艦新機Xperia 1 V今日正式在臺推出，今年4月上任以來首次參與中國臺灣Xperia手機的上市發(fā)表的Sony Mobile中國臺灣區(qū)總經(jīng)理筒塩具隆 (Tomotaka Tsutsushio)表示，Xperia 1系列致力滿足安卓高階旗艦手機的市場需求，透過近年來集團內(nèi)部的業(yè)務整合，Xperia 1系列歷代的產(chǎn)品設計和技術創(chuàng)新持續(xù)在拍照、錄像、游戲、音樂等領域帶給消費者引領業(yè)界的全方位行動娛樂產(chǎn)品。Xperia 1 V采用Sony集團全新開發(fā)的雙層式架構感光組件，同時整合Sony領先的相機
- 關鍵字： 安卓 SONY Xperia 1 V
歐洲RISC-V處理器流片：216核心 不需要風扇散熱
- 5月9日消息，歐洲航天局(ESA)贊助、瑞士蘇黎世聯(lián)邦理工學院和意大利博洛尼亞大學共同開發(fā)的“Occany”(鳥蛇)處理器，現(xiàn)已流片。這顆處理器基于開源開放的RISC-V架構，GlobalFoundries 12nm LPP低功耗工藝，chiplet小芯片設計，2.5D封裝，雙芯片共集成多達216個核心，晶體管數(shù)量達10億個，而面積僅為73平方毫米。同時，它還集成了未公開數(shù)量的64位FPU浮點單元，整合兩顆美光的16GB HBM2e高帶寬內(nèi)存。硅中介層面積26.3 x 23.05毫米，制造工藝為65nm，
- 關鍵字： risc-v 架構 處理器
歐盟前沿性NimbleAI項目采用定制RISC-V處理器
- 隨著越來越多的研究伙伴加入以及新技術和新產(chǎn)品的不斷披露，歐盟于2022年底啟動的NimbleAI這一前沿項目在喧囂的GPT熱潮中，開始展現(xiàn)出一條新的智能化和數(shù)字化轉(zhuǎn)型之道。NimbleAI旨在推動神經(jīng)形態(tài)視覺（neuromorphic vision）傳感和處理技術的發(fā)展和研究。作為一種創(chuàng)新的視覺感知和處理技術，神經(jīng)形態(tài)視覺參考了生物系統(tǒng)工作方式，通過檢測動態(tài)場景中的變化來決定是否更細致地查看捕捉到的內(nèi)容，而不是花費大量資源區(qū)連續(xù)分析整個場景，從而節(jié)省大量資源和大幅度縮短延遲。盡管NimbleAI是一個啟動
- 關鍵字： NimbleAI 定制RISC-V 神經(jīng)形態(tài)視覺 3D集成芯片
“這一次芯片浪潮，我們沒有掉隊”，中國加速布局開源芯片RISC-V生態(tài)
- 近日，2022年圖靈獎頒給了“以太網(wǎng)之父”、3Com公司創(chuàng)始人羅伯特·梅特卡夫。他研發(fā)的以太網(wǎng)設備及其協(xié)議，允許設備連接到局域網(wǎng)并共享打印機和文件等資源，極大降低了網(wǎng)絡連接成本。在中國開放指令生態(tài)（RISC-V）聯(lián)盟秘書長、中科院計算技術研究所研究員包云崗看來，以太網(wǎng)成功的最大啟示是做開放標準，它為下一步創(chuàng)新提供平臺、拓展市場、繁榮生態(tài)，其背后的開源文化實則是一種生產(chǎn)方式的革新。在日前舉行的開源硬件與新一代工業(yè)革命論壇上，專家表示，開源作為一種創(chuàng)新協(xié)作模式不僅引發(fā)了軟件產(chǎn)業(yè)變革，未來還將引發(fā)硬件、數(shù)據(jù)、算
- 關鍵字： RISC-V
是否存在用于 RISC-V 驗證的必要工具？
- 現(xiàn)有可用于 RISC-V 的工具可能不是最有效或最高效的。怎么辦？
- 關鍵字： RISC-V
Codasip和IAR強強聯(lián)手，共同演示用于RISC-V的雙核鎖步技術
- 德國紐倫堡，2023年嵌入式世界展會（Embedded World 2023），2023年3月14日——Codasip和IAR共同宣布將強強聯(lián)手為低功耗嵌入式汽車應用提供全新的創(chuàng)新支持，雙方將聯(lián)手為客戶提供屢獲殊榮的Codasip L31內(nèi)核和獲得安全性認證的最新版本IAR Embedded Workbench for RISC-V開發(fā)工具鏈。此次合作可為汽車應用開發(fā)人員提供一條便捷之道，以幫助他們推出基于多功能的Codasip L31內(nèi)核且符合ISO 26262認證標準的嵌入式應用。Codasip的雙內(nèi)
- 關鍵字： Codasip IAR RISC-V 雙核鎖步技術
v介紹
您好，目前還沒有人創(chuàng)建詞條v!
歡迎您創(chuàng)建該詞條，闡述對v的理解，并與今后在此搜索v的朋友們分享。 創(chuàng)建詞條
歡迎您創(chuàng)建該詞條，闡述對v的理解，并與今后在此搜索v的朋友們分享。 創(chuàng)建詞條
v研討會推薦
v相關帖子
v資料下載
v專欄文章
熱門主題
492V/3A
-24V
EV/PHEV
12V-12V5V
1.5V
MC33374T/TV
CC/CV
6-12V
48V-12V
ZVT-PWM
6-24v
-5V
ZVS-PWMDC/DC
ZVZCSDC/DC
NOVELLUS
avnet
TMS320VC5509
TMS320VC33
LCDTV
Vativ
Driver
Devices公司
DirectDrive
CCTV
VRM
PVR
1xEV-DO版本A
VME
CVC-HF
ActiveX
davinci
v1.1標準
v1.1標準測試
VDSL2
Viscom
NVSRAM
CATV
雙DVB-S2
1xEV-DO網(wǎng)絡
V1.3
VECTOR
VOICEENGINE
48V
VICOTE
1xEV-DO
LVDT
TV面板
LS-SVM
4200-CVU
AV
1xEV-DORevA
PVD
QVGA
VITESSE
VEE
DV
JVC
IV
VIZIO
AGV
樹莓派
linux
關于我們 -
廣告服務 -
企業(yè)會員服務 -
網(wǎng)站地圖 -
聯(lián)系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473