，以進(jìn)行全面和徹底的處理器測試。Codasip不斷在處理器驗證方面投入巨資，以再接再厲為業(yè)界提供最高質(zhì)量的RISC-V處理器半導(dǎo)體知識產(chǎn)權(quán)（IP）。 Siemens EDA的OneSpin工具提供了一個先進(jìn)且無比強大的驗證平臺，用以解決關(guān)鍵的芯片完整性問題。OneSpin是極為先進(jìn)的形式驗證工具，適用于汽車
2022-05-07 13:55:42
6483 
為了保護(hù) IoT 應(yīng)用程序，PUFsecurity 利用芯片指紋技術(shù)來強化信任根，并開發(fā)了 PUFiot，這是一種具有廣泛安全邊界的安全協(xié)處理器，可以輕松地集成到安全的 RISC-V 系統(tǒng)中。
2022-08-16 09:31:111427 
。 本文討論了與硬件安全驗證相關(guān)的一些挑戰(zhàn)，并介紹了一種基于形式的方法來解決。實現(xiàn)流行的RISC-V指令集架構(gòu)（ISA）的設(shè)計示例展示了這種方法的強大功能。 安全驗證概述 對處理器進(jìn)行全面有效的驗證是電子開發(fā)人員面臨的最大挑戰(zhàn)
2023-03-16 10:47:017494 
形式化工程方法，是以軟件形式化方法理論為基礎(chǔ)，以系統(tǒng)化的工程方法引導(dǎo)工業(yè)界工程人員構(gòu)建高質(zhì)量的軟件模型，用以引導(dǎo)后續(xù)的代碼編寫和相關(guān)測試分析。并選取了工業(yè)實際場景中的某操作系統(tǒng)的調(diào)度系統(tǒng)的形式化驗證
2023-03-24 11:01:261136 
“在未來五年內(nèi)仿真將逐漸被淘汰，僅用于子系統(tǒng)和系統(tǒng)級驗證。與此同時，形式化驗證方法已經(jīng)開始處理一些系統(tǒng)級任務(wù)。隨著技術(shù)發(fā)展，更多Formal相關(guān)的商業(yè)標(biāo)準(zhǔn)化會推出。” Intel?fellow
2023-09-01 09:10:04894 RISC-V處理器設(shè)計研發(fā)的芯片。這些芯片覆蓋高性能、低功耗等不同需求，可廣泛應(yīng)用于智能語音、AI視覺、工業(yè)控制、車聯(lián)網(wǎng)等領(lǐng)域。博流智能 | 多模無線連接智能語音SoC芯片BL606P：基于玄鐵
2022-03-08 08:16:29
的寬度）：32位，64位，128位指令集模塊：標(biāo)識該處理器支持的指令集模塊集合基本整數(shù)（Integer）指令集: RISC-V唯一強制要求實現(xiàn)的基礎(chǔ)指令集，其他指令集都 是可選的擴展模塊。擴展模塊指令集: RISC-V允許在實現(xiàn)中以可選的形式實現(xiàn)其他 標(biāo)準(zhǔn)化和非標(biāo)準(zhǔn)化的指令集擴展。特定組合“IMA
2021-12-09 06:31:44
縮寫
[###]
用于標(biāo)識處理器位寬，取值[32, 64,128]，也就是處理器的寄存器位寬
[abc...xyz]
標(biāo)識該處理器支持的指令模塊集合
比如：RV64IMAC, 表示64 位 RISC-V
2024-03-12 10:25:21
, 64位Linux兼容版U2,U7處理器。并著手于簡化芯片設(shè)計領(lǐng)域的技術(shù)鴻溝，提供云端的模塊化設(shè)計和驗證程序。SIFIVE目前也是RISC-V領(lǐng)域產(chǎn)品系列最全，技術(shù)相對領(lǐng)先的公司。其它芯片設(shè)計公司
2020-06-22 16:51:57
RISC-V處理器是開源的，那開發(fā)環(huán)境需要廠商自己開發(fā)還是沿用傳統(tǒng)的開發(fā)環(huán)境呢？比如keil
2024-01-13 19:18:35
精簡指令集計算機。RISC-V是基于RISC原理建立的免費開放指令集架構(gòu)(ISA)，V是羅馬字母，代表第五代RISC(精簡指令集計算機)，可讀作RISC-FIVE。通過開放式標(biāo)準(zhǔn)協(xié)作實現(xiàn)處理器創(chuàng)新的新時代
2020-08-13 15:13:41
我有興趣在深度睡眠時使用 risc-v 協(xié)處理器通過 i2c 獲取傳感器讀數(shù)，大概每 10 分鐘左右一次。我有興趣通過不喚醒 esp 來讀取傳感器來潛在地節(jié)省電量。我被推遲在基于堆棧的協(xié)處理器上執(zhí)行
2023-03-02 09:03:59
RISC-V和開源處理器之間是什么關(guān)系？
2023-03-09 10:06:52
但是開源處理器架構(gòu)需要從軟件開發(fā)社區(qū)獲得更多支持，然后才能在數(shù)據(jù)中心與x86和ARM架構(gòu)競爭：巴塞羅那RISC-V峰會的總結(jié)。
Developers have grown up hearing ARM
2023-08-11 18:20:57
RISC-V嵌入式開發(fā)準(zhǔn)備篇2：嵌入式開發(fā)的特點介紹隨著國內(nèi)第一本RISC-V中文書籍《手把手教你設(shè)計CPU——RISC-V處理器篇》 正式上市，越來越多的愛好者開始使用開源的蜂鳥E203
2021-11-08 08:33:47
為自動駕駛汽車等應(yīng)用開發(fā)新的RISC-V芯片設(shè)計；GreenWaves推出了基于RISC-V的低功率AI物聯(lián)網(wǎng)（IoT）應(yīng)用處理器；晶晨半導(dǎo)體推出具有RISC-V安全內(nèi)核的SoC芯片；華米發(fā)布了用于生物識別
2021-06-18 20:57:35
本期文章目錄一個小型RISC-V開源處理器核介紹！#SOC#FPGA#RISC-V點擊閱讀數(shù)字積木從零開始寫RISC-V處理器(超詳細(xì))#RISC-V點擊閱讀數(shù)字積木為什么說模擬工程...
2021-07-23 09:42:00
RISC-V是什么？有哪些特點？如何去設(shè)計RISC-V處理器？
2021-06-18 09:24:03
回顧過去幾年的集成電路產(chǎn)業(yè)里，RISC-V是一個繞不過去的熱詞。作為一項以“開源”為賣點的技術(shù)，RISC-V自面世以來，就在相對古板的處理器設(shè)計領(lǐng)域激起了不小的浪花。由于RISC-V的開源特性造就了
2020-06-22 16:55:03
50條指令，可以用于實現(xiàn)一個具備定點運算和特權(quán)模式等基本功能的處理器。 RISC-V的三大特點 第一點是完全開源，對指令集使用，RISC-V基金會不收取高額的授權(quán)費。開源采用寬松的BSD協(xié)議，企業(yè)
2020-08-25 11:17:39
的Risc-V內(nèi)核高精度AI 處理器。K510-CORE是核心模組，板載一顆K510芯片，CPU采用雙核64bit RISC-V架構(gòu)，K510搭載自主研發(fā)的第二代神經(jīng)網(wǎng)絡(luò)處理器KPU2.0，采用獨創(chuàng)計算
2022-11-18 14:15:24
CRB KIT V1.2客戶參考套件。據(jù)悉，嘉楠所推出的勘智K510是全球首款基于Linux的Risc-V內(nèi)核高精度AI 處理器。K510-CORE是核心模組，板載一顆K510芯片，CPU采用雙核
2022-11-18 15:10:22
的處理器IP共性技術(shù)平臺建設(shè)良機，從應(yīng)用需求入手，徹底解決處理器領(lǐng)域“穿馬甲”問題。根據(jù)RISC-V具體產(chǎn)品的實現(xiàn)來源，我國的RISC-V參與者也存在開源吸收、國外引進(jìn)、自主研發(fā)等不同形式。
2021-06-18 21:00:01
從云端擴展到邊緣和終端，滲透到數(shù)據(jù)中心、邊緣服務(wù)器、5G基站和各種各樣的智能終端中。在Arm架構(gòu)處理器從手機擴展到新興物聯(lián)網(wǎng)、汽車ADAS/自動駕駛和各種AI應(yīng)用場景的同時，開源靈活的RISC-V
2023-04-05 12:16:42
RISC-V對于異常處理的實現(xiàn)復(fù)雜嗎？應(yīng)該沒有ARM Cortex系列的那樣復(fù)雜，有NVIC或GIC中斷控制器吧。那么它執(zhí)行異常處理的流程是怎樣的？
2023-04-21 15:00:56
RISC-V架構(gòu)秉承簡單的設(shè)計哲學(xué)。體現(xiàn)為：在處理器領(lǐng)域，主流的架構(gòu)為x86與ARM架構(gòu)。x86與ARM架構(gòu)的發(fā)展的過程也伴隨了現(xiàn)代處理器架構(gòu)技術(shù)的不斷發(fā)展成熟，但作為商用的架構(gòu)，為了能夠保持架構(gòu)的向后兼容性
2021-06-18 19:41:21
RISC-V的迷人之處之一是它是如此……靈活。作為開源處理器規(guī)范，絕對任何人都可以使用它，對其進(jìn)行修改并將其商業(yè)化。沒有許可費，沒有規(guī)則，也沒有兼容性測試。這是處理器的狂野西部。在一定程度上。
但是
2024-02-12 20:58:55
前一陣，蘋果推出了M1處理器，相比關(guān)注具體指標(biāo)，業(yè)內(nèi)其實更關(guān)心M1推出后會引領(lǐng)產(chǎn)業(yè)往哪個方向發(fā)展，不少人的結(jié)論是RISC-V會成為未來芯片發(fā)展的熱點，因為RISC-V有很多巧妙的方法可以...
2021-11-03 06:07:29
RISC-V簡介??RISC-V 是一個自由和開放的 ISA（開源指令集架構(gòu)），通過開放的標(biāo)準(zhǔn)協(xié)作實現(xiàn)處理器創(chuàng)新的新時代。RISC-V ISA在架構(gòu)上提供了一個新的自由、可擴展的軟件和硬件自由級別
2023-02-27 19:56:30
10 月 19 日，2021 云棲大會上，平頭哥開源了玄鐵RISC-V系列處理器，并開放了工具及系統(tǒng)軟件。這次的開源對國內(nèi)的RISC-V生態(tài)圈具有非常重要的意義。關(guān)注了一下這次開源發(fā)布的東...
2022-02-28 08:15:04
。就目前來看，他們的處理器質(zhì)量和軟件與工具生態(tài)系統(tǒng)都是無與倫比的。即使是通過合作，任何商業(yè)RISC-V供應(yīng)商也需要一段時間才能達(dá)到同樣的生態(tài)系統(tǒng)成熟度。就RISC-V而言，我們目前的應(yīng)用主要集中在針對特定
2020-08-02 11:58:14
Performance系列高性能應(yīng)用處理器；Ventana開發(fā)了面向數(shù)據(jù)中心的多核 RISC-V小芯片Veyron V1；以及MIPS公司宣稱放棄自研架構(gòu)而押注RISC-V，目前MIPS正在利用其經(jīng)過硅
2023-05-30 14:11:59
首先應(yīng)用RISC技術(shù)開發(fā)出PA-8000，主頻為180MHz，MIPS公司也推出了自己的RISC處理器——R2000；次年，SUN和德州儀器合作開發(fā)的Sparc處理器問世。 Sparc處理器憑借
2023-03-30 16:34:57
RISC-V是一個開源的指令集架構(gòu)，它屬于一個開放的、非營利性質(zhì)的基金會，而基金會將謹(jǐn)慎地發(fā)展和維護(hù)這個開源的指令集架構(gòu)。 計算機體系結(jié)構(gòu)的傳統(tǒng)方法是增量ISA，新處理器不僅必須實現(xiàn)新的ISA擴展，還必須實現(xiàn)
2023-03-30 16:40:41
重磅推薦｜ACRN 之InterruptWindow功能正確性形式化驗證
2020-06-18 16:04:42
自己特色，根據(jù)不同用途有不同型號的處理器架構(gòu)。 關(guān)于RISC-V RISC：Reduced Instruction Set Computer，即精簡指令集計算機。 RISC-V是基于RISC原理建立
2021-04-25 09:13:19
FPGA 中已經(jīng)燒進(jìn)去了基于RISC-V 處理器(開源CPU)，怎么才能把編譯好de.elf文件加載到FPGA 中執(zhí)行,請各位大神幫我解答一下，感激不盡！
2017-06-21 19:30:45
提供據(jù)了易于增加具體的RISC-V架構(gòu)拓展特性的基本接口。1.3 FreeRTOS中與RISC-V相關(guān)的特定頭文件為了能讓FreeRTOS能在RISC-V處理器上順利運行，除了
2023-04-09 09:26:41
MIPS Technologies不再設(shè)計MIPS處理器。相反，它加入了RISC-V陣營，放棄了具有悠久歷史和技術(shù)聯(lián)系的同名架構(gòu)。此舉顯然預(yù)示著MIPS作為CPU系列的終結(jié)，并進(jìn)一步減少了可用處理器
2021-03-09 19:30:07
由歐洲航天局支持，由蘇黎世聯(lián)邦理工學(xué)院和博洛尼亞大學(xué)的工程師開發(fā)的 Occamy 處理器現(xiàn)已流片。它使用了兩個 216 個 32 位 RISC-V 內(nèi)核的 chiplet 小芯片、未知數(shù)量的 64
2023-05-13 08:44:36
的處理器指令集，是構(gòu)建芯片生態(tài)和發(fā)展芯片技術(shù)的核心部分，其重要性不言而喻。在此背景下，RISC-V有望成為新的選擇。盡管具有通用、開放與免費的先期優(yōu)勢，但相比已經(jīng)成熟的Arm和Intel x86，國內(nèi)
2020-11-14 09:26:41
瑞薩電子推出圍繞64位RISC-V CPU內(nèi)核構(gòu)建的RZ/5個通用微處理器單元（MPU），具體的型號是多少？性能怎么樣？
2024-01-11 13:03:31
具備與多種處理器架構(gòu)協(xié)同工作的潛質(zhì)，其B系列更是可以達(dá)到最高6TFLOPS的算力，對于視覺計算優(yōu)異但3D圖形處理仍然偏科的RISC-V來說，可以說是一個很好的輔助，尤其是對于圖形性能有一定要求的消費類
2022-03-24 15:53:12
）”的攻擊，必須做好應(yīng)對方案。針對RISC-V知識產(chǎn)權(quán)問題，David Patterson教授曾提出過一個方案：充分利用過期的專利。根據(jù)一些初步分析，主流處理器企業(yè)的專利大約有30%已經(jīng)過期。通過一些
2020-06-22 16:49:27
，然后返回到內(nèi)存中。RISC-V 和 ARM 都支持 32 位或 64 位指令集。
二、RISC-V 和 ARM 的區(qū)別
盡管 RISC-V 和 ARM 處理器技術(shù)的功能相似，但也有顯著區(qū)別。
1.
2023-06-21 20:31:32
RISC-V是一種開放式ISA（指令集體系結(jié)構(gòu)），為處理器體系結(jié)構(gòu)的創(chuàng)新開創(chuàng)了新紀(jì)元。RISC-V基金會由325多家成員公司組成。這是該技術(shù)的主要優(yōu)勢。軟件架構(gòu)師/固件工程師/軟件開發(fā)
2020-07-27 17:38:30
siFive搞RISC-V
賽昉搞RISC-V
香山搞RISC-V
到底什么是RISC-V？
先不問有什么用，RISC-V目前的能力來說，工業(yè)有沒有可能？
2024-02-02 10:41:21
什么是RISC-V？RISC-V指令具有哪些特點應(yīng)用？自己怎么才能設(shè)計出設(shè)計一套指令集？
2021-10-14 09:05:03
CPU設(shè)計領(lǐng)域里的門外漢，再加上很少業(yè)余時間，為此一度猶豫不決。但是直覺告訴我已近不能再等了，我決定開始自學(xué)verilog和FPGA，用簡單易懂的方式寫一個RISC-V處理器并且把它開源出來，在提高自身
2022-08-22 18:25:55
都是跨平臺、輕量級的工具。iverilog用來編譯verilog代碼，gtkwave用來查看波形。驗證一個處理器，首先是能跑通各個指令，RISC-V官方提供了指令兼容性測試程序，這些程序是用匯
2022-08-23 15:05:44
、禁用和暫停計數(shù)器，無法使用任何可編程計數(shù)器和事件采樣。不僅如此，RISC-V的perf不僅無法處理計數(shù)器溢出，也不支持溢出中斷。雖然市面上很多RISC-V處理器已經(jīng)考慮到了這一點，采用定制的形式來
2021-12-27 08:00:00
免費的接口規(guī)范，并不會受美國管制的影響。但是，基于RISC-V開發(fā)的處理器是以商品形式存在的，故而美國企業(yè)研制的RISC-V處理器會受到美國出口管制。而美國以外的企業(yè)（包括歐洲、中國等）自主研制
2020-06-22 16:47:55
0 RISC-V和其他開放架構(gòu)有何不同如果僅從“免費”或“開放”這兩點來評判，RISC-V架構(gòu)并不是第一個做到免費或開放的處理器架構(gòu)。在開始之前，我們先通過論述幾個具有代表性的開放架構(gòu)，來分析
2021-07-26 06:58:42
基于 RISC-V 處理器的開發(fā)板。LoFive FE310 開發(fā)板GroupGets LLC 的 LoFive-R1 開發(fā)板正是其中之一（圖 1）。首先，LoFive R1 包含的 RISC-V
2020-08-21 18:35:32
使用不同廠家的MCU時提高調(diào)試的效率。如果你在使用RISC-V架構(gòu)的處理器，并且有J-Link的話，不妨一試。
2022-08-25 15:51:38
想入門RISC-V嵌入式不知如何下手?已經(jīng)買了RV-STAR板子卻仍然毫無頭緒？RISC-V嵌入式課程早春營，here we come！老板說上一個開課通知早春營|《RISC-V處理器嵌入...
2022-01-07 07:27:55
RISC-V指令集體系結(jié)構(gòu)(ISA)易于擴展，并且沒有指定關(guān)于特定RISC-V微控制器或片上系統(tǒng)(SoC)實現(xiàn)的所有內(nèi)容。因此，F(xiàn)reeRTOS RISC-V移植也是可擴展的-它提供了一個處理所有
2019-11-29 15:54:41
RISC-V架構(gòu)的開源處理器與SoC。1 RISC-V簡介1.1 RISC-V的基本設(shè)計RISC-V是一個典型三操作數(shù)、加載-存儲形式的RISC架構(gòu)，包括三個基本指令集和6個擴展指令集，如表1所示，其中
2020-07-27 18:09:27
越來越多國內(nèi)外的 RISC-V 處理器 IP 在不斷出現(xiàn)，結(jié)尾給大家總結(jié)下當(dāng)前階段 RISC-V 商用 IP （不僅 RISC-VIP，也是任何一種芯片 IP）必備的的五大要素：1、充足的驗證質(zhì)量：一流
2020-07-27 17:50:25
開發(fā)出商用的RISC-V處理器還需要哪些開發(fā)工具和環(huán)境？
處理器是軟硬件的交匯點，所以必須有完善的編譯器、開發(fā)工具和軟件開發(fā)環(huán)境（IDE），處理器內(nèi)核才能夠被用戶順利使用起來。目前RISC-V具有
2023-11-18 06:05:15
使用，同時也容許企業(yè)添加自有指令集拓展而不必開放共享以實現(xiàn)差異化發(fā)展。 架構(gòu)簡單 RISC-V架構(gòu)秉承簡單的設(shè)計哲學(xué)。體現(xiàn)為： 在處理器領(lǐng)域，主流的架構(gòu)為x86與ARM架構(gòu)。x86與ARM架構(gòu)的發(fā)展的過程
2023-03-19 10:52:16
有推薦的 RISC-V 模擬器嗎？
2023-04-15 23:43:52
各位開發(fā)者們豐富的學(xué)習(xí)資源。為了方便大家獲取資料，現(xiàn)在只需掃描下面海報二維碼并回復(fù)關(guān)鍵字 “教程” 即可獲取大神資料，趕快掃碼領(lǐng)取吧！2、從零開始寫RISC-V處理器之四 實踐篇推薦理由：這里只介紹
2022-08-23 10:08:51
（offload）芯片，兼顧高彈性、高效率、高效能，順利克服5G小基站應(yīng)用的設(shè)計挑戰(zhàn)。“晶心32位RISC-V處理器N25F核心雖小，但功能十分強大。精簡的規(guī)格讓比科奇能以雙叢集的形式充分利用搭載的32顆處理器
2020-10-13 16:39:24
協(xié)處理器進(jìn)行g(shù)pio操作，執(zhí)行完成后 ULP RISC-V 協(xié)處理器退出，等待下一個ULP喚醒周期。可當(dāng)在主MCU程序中使能 esp_sleep_enable_ulp_wakeup() 函數(shù)后，每當(dāng)
2023-02-09 06:52:26
的譚姓學(xué)生宣稱的“技術(shù)上看，RISC-V 相比Arm架構(gòu)處理器功耗低 5-6倍、面積效率提升5倍“ 看看笑笑就好，這種PR的話就別當(dāng)真了，真要當(dāng)真了你該懷疑這位加州大學(xué)伯克利分校的高材生的水平
2018-09-11 17:44:01
, 64位Linux兼容版U2,U7處理器。并著手于簡化芯片設(shè)計領(lǐng)域的技術(shù)鴻溝，提供云端的模塊化設(shè)計和驗證程序。SIFIVE目前也是RISC-V領(lǐng)域產(chǎn)品系列最全，技術(shù)相對領(lǐng)先的公司。其它芯片設(shè)計公司
2020-08-02 11:50:33
或者自減的模式雖然能夠提高處理器訪問連續(xù)存儲器地址區(qū)間的性能，但是也增加了設(shè)計處理器的難度。RISC-V架構(gòu)的存儲器讀和存儲器寫指令不支持地址自增自減的模式。RISC-V架構(gòu)采用松散存儲器模型
2020-07-27 17:47:26
精簡指令集計算機。RISC-V是基于RISC原理建立的免費開放指令集架構(gòu)(ISA)，V是羅馬字母，代表第五代RISC(精簡指令集計算機)，可讀作RISC-FIVE。通過開放式標(biāo)準(zhǔn)協(xié)作實現(xiàn)處理器創(chuàng)新的新時代
2019-07-29 07:57:16
我非常想了解如果想設(shè)計一個類似risc-v的處理器，整個開發(fā)流程是怎樣的？
2023-12-09 18:39:01
如題，現(xiàn)在risc-v發(fā)展的如此迅猛，不知道這些處理器主要應(yīng)用在哪些行業(yè)比較多呢？
2023-12-09 18:37:01
我在ULP RISC-V協(xié)處理器的例程中，沒有發(fā)現(xiàn)有對ADC的操作，請問RISC-V協(xié)處理器目前還不支持嗎？使用的IDF版本為4.4.2。我想在ULP模式下，通過ADC來讀取外部器件的數(shù)據(jù)。
2023-02-13 06:34:36
我在ULP RISC-V協(xié)處理器的例程中，沒有發(fā)現(xiàn)有對ADC的操作，請問RISC-V協(xié)處理器目前還不支持嗎？使用的IDF版本為4.4.2。我想在ULP模式下，通過ADC來讀取外部器件的數(shù)據(jù)。
2023-03-06 06:33:44
是由美國伯克利大學(xué)的 Krest 教授及其研究團隊提出的，當(dāng)時提出的初衷是為了計算機/電子類方向的學(xué)生做課程實踐服務(wù)的。由于這是伯克利大學(xué)研究并流片的第五代RISC架構(gòu)處理器，因此就命名為RISC-V
2023-09-28 11:58:35
本帖最后由 余一yui 于 2023-4-26 10:44 編輯
《玄鐵RISC-V處理器入門與實戰(zhàn)》是一本介紹開源ISA（指令集架構(gòu)）RISC-V的電子書。RISC-V是由加州大學(xué)伯克利分校
2023-04-12 11:16:58
10月19日，在2021云棲大會上，阿里云智能總裁張建鋒宣布，平頭哥開源玄鐵RISC-V系列處理器，并開放系列工具及系統(tǒng)軟件。這是系列處理器與基礎(chǔ)軟件的首次全棧開源，將推動RISC-V架構(gòu)走向成熟
2021-10-20 14:09:00
https://github.com/JiaoXianjun/XiangShan談到RISC-V，應(yīng)該都會想到香山處理器。其經(jīng)歷了幾代的演進(jìn)，性能越來越高。采用Chisel Rocketchip框架，能夠方便的定制屬于你的RISC-V處理器。對此，你有什么看法？
2023-04-14 15:51:59
香山是什么2019 年，在中國科學(xué)院支持下，由 中國科學(xué)院計算技術(shù)研究所 牽頭發(fā)起 “香山” 高性能開源 RISC-V 處理器項目，研發(fā)出目前國際上性能最高的開源高性能 RISC-V 處理器核
2022-04-07 14:20:44
VaaS形式化驗證平臺，采用了多種形式化驗證方法，具有驗證效率高、自動化程度高、人工參與度低、易于使用、支持多個合約開發(fā)語言、可支持大容量區(qū)塊鏈底層平臺的形式化驗證等優(yōu)點。
2018-12-14 10:18:25961 隨著這些年的發(fā)展，RISC-V的受重視程度與與日俱增。這主要因為它是免費的、靈活的，并且速度很快。這使RISC-V成為許多開發(fā)人員的安全便捷選擇。但是您會認(rèn)為RISC-V是通用RISC處理器還是定制的隨心所欲處理器？
2020-11-17 16:11:563167 芯來科技將正式采用芯華章自主研發(fā)的新一代智能驗證系統(tǒng)穹景 （GalaxPSS）及數(shù)字仿真器穹鼎 （GalaxSim）等系列EDA驗證產(chǎn)品，加速新一代復(fù)雜RISC-V處理器IP的設(shè)計研發(fā)。
2022-03-03 10:32:251968 Imperas 產(chǎn)品組合以及來自快速發(fā)展的 RISC-V 生態(tài)系統(tǒng)的其他工具，為您今天開始自己的開放式處理器設(shè)計提供了足夠的資源。
2022-06-01 10:00:271330 
處理器驗證是一個全新的領(lǐng)域。我們知道 Arm 和 Intel 對處理器質(zhì)量的期望設(shè)置了很高的標(biāo)準(zhǔn)。在 RISC-V 中，我們必須嘗試并遵循這一點。
2023-03-22 15:19:32380 首選。據(jù)估計，在未來五年內(nèi)仿真將逐漸被取代，僅用于子系統(tǒng)和系統(tǒng)級驗證。與此同時，形式化驗證方法已經(jīng)開始處理一些系統(tǒng)級任務(wù)，隨著技術(shù)的不斷創(chuàng)新，形式化驗證將逐步開始處理更多系統(tǒng)級任務(wù)。 形式化驗證的普及 近五年來，更多機構(gòu)和設(shè)計驗
2023-04-21 19:35:05401 
轉(zhuǎn)型RISC-V，大家才發(fā)現(xiàn)處理器驗證絕非易事。新標(biāo)準(zhǔn)由于其新穎和靈活性而帶來的新功能會在無意中產(chǎn)生規(guī)范和設(shè)計漏洞，因此處理器驗證是處理器開發(fā)過程中一項非常重要的環(huán)節(jié)。
2023-06-01 09:07:01370 
隨著RISC-V處理器的快速發(fā)展，如何保證其正確性成為了一個重要的問題。傳統(tǒng)的測試方法只能覆蓋一部分錯誤情況，而且無法完全保證處理器的正確性。因此，基于形式驗證的方法成為了一個非常有前途的方法，可以更加全面地驗證處理器的正確性。本文將介紹一種基于形式驗證的高效RISC-V處理器驗證方法。
2023-06-02 10:35:17976 在本文中，我們將以西門子EDA處理器驗證應(yīng)用程序為例，結(jié)合Codasip L31這款廣受歡迎的RISC-V處理器IP提供的特性，來介紹一種利用先進(jìn)的EDA工具，在實際設(shè)計工作中對處理器進(jìn)行驗證的具體方法。
2023-07-10 10:28:41300 
RISC-V的開放性允許定制和擴展基于 RISC-V 內(nèi)核的架構(gòu)和微架構(gòu)，以滿足特定需求。這種對設(shè)計自由的渴望也正在將驗證部分的職責(zé)轉(zhuǎn)移到不斷壯大的開發(fā)人員社群。然而，隨著越來越多的企業(yè)和開發(fā)人員轉(zhuǎn)型RISC-V，大家才發(fā)現(xiàn)處理器驗證絕非易事。
2023-07-10 09:42:08413 
2023年10月19日， 思爾芯（S2C） 宣布 北京開源芯片研究院（簡稱“開芯院”） 在其歷代“香山” RISC-V 處理器開發(fā)中采用了思爾芯的 芯神瞳 VU19P 原型驗證系統(tǒng)
2023-10-24 16:28:17317 2023年10月19日，思爾芯（S2C）宣布北京開源芯片研究院（簡稱“開芯院”）在其歷代“香山”RISC-V處理器開發(fā)中采用了思爾芯的芯神瞳VU19P原型驗證系統(tǒng)，不僅加速了產(chǎn)品迭代，還助力多家企業(yè)
2023-10-25 08:24:04302 
正在加载...
電子發(fā)燒友App
工商網(wǎng)監(jiān)
評論