f-v 文章 進入f-v技術社區(qū)
基于形式驗證的高效RISC-V處理器驗證方法
- RISC-V的開放性允許定制和擴展基于 RISC-V 內(nèi)核的架構和微架構，以滿足特定需求。這種對設計自由的渴望也正在將驗證部分的職責轉移到不斷壯大的開發(fā)人員社群。然而，隨著越來越多的企業(yè)和開發(fā)人員轉型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ù)字化轉型之道。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 雙核鎖步技術
與x86、Arm并列！中國聯(lián)通加盟RISC-V
- 近日，中國聯(lián)通官方宣布，正式加入CRVIC聯(lián)盟，計劃積極布局RISC-V領域。CRVIC聯(lián)盟成立于2018年，得到了上海市經(jīng)信委、國家集成電路創(chuàng)新中心、上海集成電路行業(yè)協(xié)會等機構的指導支持，成員包括RISC-V領域的重點企業(yè)、高校、研究院所、投資機構、社會組織等。聯(lián)盟的目標是加速國內(nèi)RISC-V產(chǎn)業(yè)的發(fā)展，建立中國國產(chǎn)自主、可控、安全的RISC-V計算平臺，促進形成貫穿IP核、芯片、軟件、系統(tǒng)、應用等環(huán)節(jié)的RISC-V產(chǎn)業(yè)生態(tài)鏈。中國聯(lián)通表示，RISC-V技術能夠與5G技術深度結合，逐步應用于包括RedC
- 關鍵字： 中國聯(lián)通 RISC-V 指令集 ARM x86 架構
布局 RISC-V 領域，中國聯(lián)通加入中國 RISC-V 產(chǎn)業(yè)聯(lián)盟
- IT之家 3 月 13 日消息，中國聯(lián)通官方今日表示，積極布局 RISC-V 領域，于今年 3 月正式加入 CRVIC 聯(lián)盟。中國聯(lián)通表示，CRVIC 聯(lián)盟（IT之家注：China RISC-V Industry Consortium，中國 RISC-V 產(chǎn)業(yè)聯(lián)盟）是國內(nèi) RISC-V 領域具有較高影響力的組織。據(jù)介紹，該聯(lián)盟是在上海市經(jīng)信委、國家集成電路創(chuàng)新中心、上海集成電路行業(yè)協(xié)會的指導支持下，由國內(nèi)外 RISC-V 領域重點企業(yè)、高校、研究院所、投資機構和社會組織于 2018 年 9 月
- 關鍵字： RISC-V
openEuler 加入 RISC-V Landscape，相關技術已完成生態(tài)適配
- IT之家 3 月 10 日消息，開源歐拉 openEuler 宣布已加入 RISC-V Landscape（可點此鏈接訪問）。此次加入 RISC-V Landscape，意味著 openEuler 在對 RISC-V 架構的生態(tài)適配得到了 RISC-V 基金會的認可，相關技術已與 RISC-V 生態(tài)完成適配。目前 openEuler 已經(jīng)推出多個基于 openEuler 開發(fā)的 RISC-V 架構的發(fā)行版。未來，openEuler 將繼續(xù)探索在 RISC-V 架構處理器上的更多可能。今年 2 月
- 關鍵字： risc-v openEuler
2023 年是 RISC-V 的突破年
- 隨著 RISC-V 的不斷發(fā)展，未來十年的情況將大不相同。
- 關鍵字： RISC-V
打破美國芯片管制？阿里巴巴芯片部門及支付寶將發(fā)布安全支付計算芯片
- FX168財經(jīng)報社(北美)訊 阿里巴巴集團控股的芯片部門T-Head和支付寶(阿里巴巴金融子公司螞蟻集團旗下的支付服務)將發(fā)布基于RISC-V指令集架構的安全支付計算芯片。美國針對中國半導體行業(yè)實施出口限制后，中國企業(yè)繼續(xù)在芯片領域大舉投資。支付寶和T-Head周四(3月2日)表示，該芯片將嵌入硬件設備，用于增強移動支付功能。支付寶發(fā)言人沒有透露這款芯片的發(fā)布日期，但表示將很快用于商用硬件設備，并補充說，這款芯片將與其他芯片設計公司合作生產(chǎn)。阿里巴巴云計算部門旗下的T-Head于2019年首次推出了基于R
- 關鍵字： 阿里巴巴 支付寶 RISC-V
自主 搶先！openKylin率先布局RISC-V辦公
- 作為麒麟軟件主導成立的國內(nèi)首個桌面操作系統(tǒng)根社區(qū)， openKylin（開放麒麟）今天官方宣布，率先布局基于RISC-V架構的新一代桌面辦公場景生態(tài)，遷移適配開源應用生態(tài)，并協(xié)同平頭哥、釘釘?shù)壬虡I(yè)生態(tài)伙伴布局基本可用的桌面辦 公場景應用。openKylin社區(qū)自2022年6月成立起，就持續(xù)關注、投入RISC-V架構的生態(tài)建設，一方面逐步打磨OS產(chǎn)品特性、遷移適配Firefox等開源軟件，另一方面與阿里巴巴旗下的平頭哥、釘釘?shù)溶浻布S商開展多次洽談，推動深入合作，軟硬件協(xié)同發(fā)展。
- 關鍵字： openKylin 開放麒麟 RISC-V
f-v介紹
您好，目前還沒有人創(chuàng)建詞條f-v!
歡迎您創(chuàng)建該詞條，闡述對f-v的理解，并與今后在此搜索f-v的朋友們分享。 創(chuàng)建詞條
歡迎您創(chuàng)建該詞條，闡述對f-v的理解，并與今后在此搜索f-v的朋友們分享。 創(chuàng)建詞條
f-v相關帖子
f-v資料下載
f-v專欄文章
關于我們 -
廣告服務 -
企業(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