电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

电子发烧友网>处理器/DSP>如何利用形式化验证提高RISC-V处理器质量?

如何利用形式化验证提高RISC-V处理器质量?

收藏

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论

查看更多

相关推荐

Codasip携手西门子打造RISC-V领域最完整形式验证

,以进行全面和彻底的处理器测试。Codasip不断在处理器验证方面投入巨资,以再接再厉为业界提供最高质量RISC-V处理器半导体知识产权(IP)。 Siemens EDA的OneSpin工具提供了一个先进且无比强大的验证平台,用以解决关键的芯片完整性问题。OneSpin是极为先进的形式验证工具,适用于汽车
2022-05-07 13:55:426483

RISC-V设计的基本安全协处理器

  为了保护 IoT 应用程序,PUFsecurity 利用芯片指纹技术来强化信任根,并开发了 PUFiot,这是一种具有广泛安全边界的安全协处理器,可以轻松地集成到安全的 RISC-V 系统中。
2022-08-16 09:31:111427

验证RISC-V处理器的安全性

。 本文讨论了与硬件安全验证相关的一些挑战,并介绍了一种基于形式的方法来解决。实现流行的RISC-V指令集架构(ISA)的设计示例展示了这种方法的强大功能。 安全验证概述 对处理器进行全面有效的验证是电子开发人员面临的最大挑战
2023-03-16 10:47:017494

形式化方法的工程化

形式化工程方法,是以软件形式化方法理论为基础,以系统化的工程方法引导工业界工程人员构建高质量的软件模型,用以引导后续的代码编写和相关测试分析。并选取了工业实际场景中的某操作系统的调度系统的形式化验证
2023-03-24 11:01:261136

EDA形式化验证漫谈:仿真之外,验证之内

“在未来五年内仿真将逐渐被淘汰,仅用于子系统和系统级验证。与此同时,形式化验证方法已经开始处理一些系统级任务。随着技术发展,更多Formal相关的商业标准化会推出。” Intel fellow
2023-09-01 09:10:04894

4款玄铁RISC-V芯片亮相

RISC-V处理器设计研发的芯片。这些芯片覆盖高性能、低功耗等不同需求,可广泛应用于智能语音、AI视觉、工业控制、车联网等领域。博流智能 | 多模无线连接智能语音SoC芯片BL606P:基于玄铁
2022-03-08 08:16:29

RISC-V ISA是怎样进行命名的

的宽度):32位,64位,128位指令集模块:标识该处理器支持的指令集模块集合基本整数(Integer)指令集: RISC-V唯一强制要求实现的基础指令集,其他指令集都 是可选的扩展模块。扩展模块指令集: RISC-V允许在实现中以可选的形式实现其他 标准化和非标准化的指令集扩展。特定组合“IMA
2021-12-09 06:31:44

RISC-V 基础学习:RISC-V 基础介绍

缩写 [###] 用于标识处理器位宽,取值[32, 64,128],也就是处理器的寄存位宽 [abc...xyz] 标识该处理器支持的指令模块集合 比如:RV64IMAC, 表示64 位 RISC-V
2024-03-12 10:25:21

RISC-V 生态架构浅析

, 64位Linux兼容版U2,U7处理器。并着手于简化芯片设计领域的技术鸿沟,提供云端的模块化设计和验证程序。SIFIVE目前也是RISC-V领域产品系列最全,技术相对领先的公司。其它芯片设计公司
2020-06-22 16:51:57

RISC-V处理器对应什么开发环境?

RISC-V处理器是开源的,那开发环境需要厂商自己开发还是沿用传统的开发环境呢?比如keil
2024-01-13 19:18:35

RISC-V你了解多少?

精简指令集计算机。RISC-V是基于RISC原理建立的免费开放指令集架构(ISA),V是罗马字母,代表第五代RISC(精简指令集计算机),可读作RISC-FIVE。通过开放式标准协作实现处理器创新的新时代
2020-08-13 15:13:41

RISC-V处理器是否可以像基于堆栈的ULP那样访问i2c硬件呢?

我有兴趣在深度睡眠时使用 risc-v处理器通过 i2c 获取传感读数,大概每 10 分钟左右一次。我有兴趣通过不唤醒 esp 来读取传感来潜在地节省电量。我被推迟在基于堆栈的协处理器上执行
2023-03-02 09:03:59

RISC-V和开源处理器之间是什么关系?

RISC-V和开源处理器之间是什么关系?
2023-03-09 10:06:52

RISC-V在快速发展的处理器生态系统中找到立足点

但是开源处理器架构需要从软件开发社区获得更多支持,然后才能在数据中心与x86和ARM架构竞争:巴塞罗那RISC-V峰会的总结。 Developers have grown up hearing ARM
2023-08-11 18:20:57

RISC-V嵌入式开发的特点有哪些

RISC-V嵌入式开发准备篇2:嵌入式开发的特点介绍随着国内第一本RISC-V中文书籍《手把手教你设计CPU——RISC-V处理器篇》 正式上市,越来越多的爱好者开始使用开源的蜂鸟E203
2021-11-08 08:33:47

RISC-V应用领域的拓展

为自动驾驶汽车等应用开发新的RISC-V芯片设计;GreenWaves推出了基于RISC-V的低功率AI物联网(IoT)应用处理器;晶晨半导体推出具有RISC-V安全内核的SoC芯片;华米发布了用于生物识别
2021-06-18 20:57:35

RISC-V开源处理器核介绍

本期文章目录一个小型RISC-V开源处理器核介绍!#SOC#FPGA#RISC-V点击阅读数字积木从零开始写RISC-V处理器(超详细)#RISC-V点击阅读数字积木为什么说模拟工程...
2021-07-23 09:42:00

RISC-V是什么?如何去设计RISC-V处理器

RISC-V是什么?有哪些特点?如何去设计RISC-V处理器
2021-06-18 09:24:03

RISC-V最重要的意义所在

回顾过去几年的集成电路产业里,RISC-V是一个绕不过去的热词。作为一项以“开源”为卖点的技术,RISC-V自面世以来,就在相对古板的处理器设计领域激起了不小的浪花。由于RISC-V的开源特性造就了
2020-06-22 16:55:03

RISC-V有哪些特点

50条指令,可以用于实现一个具备定点运算和特权模式等基本功能的处理器。  RISC-V的三大特点  第一点是完全开源,对指令集使用,RISC-V基金会不收取高额的授权费。开源采用宽松的BSD协议,企业
2020-08-25 11:17:39

RISC-V生态逐渐成型,华秋助推嘉楠旗下首款基于Linux的Risc-V内核高精度AI 处理器

Risc-V内核高精度AI 处理器。K510-CORE是核心模组,板载一颗K510芯片,CPU采用双核64bit RISC-V架构,K510搭载自主研发的第二代神经网络处理器KPU2.0,采用独创计算
2022-11-18 14:15:24

RISC-V生态逐渐成型,嘉楠旗下首款基于Linux的Risc-V内核高精度AI 处理器了解下

CRB KIT V1.2客户参考套件。据悉,嘉楠所推出的勘智K510是全球首款基于Linux的Risc-V内核高精度AI 处理器。K510-CORE是核心模组,板载一颗K510芯片,CPU采用双核
2022-11-18 15:10:22

RISC-V的中国力量

处理器IP共性技术平台建设良机,从应用需求入手,彻底解决处理器领域“穿马甲”问题。根据RISC-V具体产品的实现来源,我国的RISC-V参与者也存在开源吸收、国外引进、自主研发等不同形式
2021-06-18 21:00:01

RISC-V的前景预言

从云端扩展到边缘和终端,渗透到数据中心、边缘服务、5G基站和各种各样的智能终端中。在Arm架构处理器从手机扩展到新兴物联网、汽车ADAS/自动驾驶和各种AI应用场景的同时,开源灵活的RISC-V
2023-04-05 12:16:42

RISC-V的异常处理机制复杂吗?

RISC-V对于异常处理的实现复杂吗?应该没有ARM Cortex系列的那样复杂,有NVIC或GIC中断控制吧。那么它执行异常处理的流程是怎样的?
2023-04-21 15:00:56

RISC-V的特色,大饱眼福!!!

RISC-V架构秉承简单的设计哲学。体现为:在处理器领域,主流的架构为x86与ARM架构。x86与ARM架构的发展的过程也伴随了现代处理器架构技术的不断发展成熟,但作为商用的架构,为了能够保持架构的向后兼容性
2021-06-18 19:41:21

RISC-V的迷人之处

RISC-V的迷人之处之一是它是如此……灵活。作为开源处理器规范,绝对任何人都可以使用它,对其进行修改并将其商业化。没有许可费,没有规则,也没有兼容性测试。这是处理器的狂野西部。在一定程度上。 但是
2024-02-12 20:58:55

RISC-V相关资料下载

前一阵,苹果推出了M1处理器,相比关注具体指标,业内其实更关心M1推出后会引领产业往哪个方向发展,不少人的结论是RISC-V会成为未来芯片发展的热点,因为RISC-V有很多巧妙的方法可以...
2021-11-03 06:07:29

RISC-V简介

RISC-V简介  RISC-V 是一个自由和开放的 ISA(开源指令集架构),通过开放的标准协作实现处理器创新的新时代。RISC-V ISA在架构上提供了一个新的自由、可扩展的软件和硬件自由级别
2023-02-27 19:56:30

RISC-V系列处理器的相关资料推荐

10 月 19 日,2021 云栖大会上,平头哥开源了玄铁RISC-V系列处理器,并开放了工具及系统软件。这次的开源对国内的RISC-V生态圈具有非常重要的意义。关注了一下这次开源发布的东...
2022-02-28 08:15:04

RISC-V芯片架构发展的关键问答

。就目前来看,他们的处理器质量和软件与工具生态系统都是无与伦比的。即使是通过合作,任何商业RISC-V供应商也需要一段时间才能达到同样的生态系统成熟度。就RISC-V而言,我们目前的应用主要集中在针对特定
2020-08-02 11:58:14

RISC-V,正在摆脱低端

Performance系列高性能应用处理器;Ventana开发了面向数据中心的多核 RISC-V小芯片Veyron V1;以及MIPS公司宣称放弃自研架构而押注RISC-V,目前MIPS正在利用其经过硅
2023-05-30 14:11:59

risc-v怎么读

首先应用RISC技术开发出PA-8000,主频为180MHz,MIPS公司也推出了自己的RISC处理器——R2000;次年,SUN和德州仪器合作开发的Sparc处理器问世。  Sparc处理器凭借
2023-03-30 16:34:57

risc-v是什么意思

RISC-V是一个开源的指令集架构,它属于一个开放的、非营利性质的基金会,而基金会将谨慎地发展和维护这个开源的指令集架构。  计算机体系结构的传统方法是增量ISA,新处理器不仅必须实现新的ISA扩展,还必须实现
2023-03-30 16:40:41

ACRN 之InterruptWindow功能正确性形式化验证

重磅推荐|ACRN 之InterruptWindow功能正确性形式化验证
2020-06-18 16:04:42

ARM与RISC-V架构的区别是什么?

自己特色,根据不同用途有不同型号的处理器架构。 关于RISC-V RISC:Reduced Instruction Set Computer,即精简指令集计算机。 RISC-V是基于RISC原理建立
2021-04-25 09:13:19

FPGA 中已经烧进去了基于RISC-V 处理器(开源CPU),怎么才能把编译好嗯.elf文件加载到FPGA 中执行

FPGA 中已经烧进去了基于RISC-V 处理器(开源CPU),怎么才能把编译好de.elf文件加载到FPGA 中执行,请各位大神帮我解答一下,感激不尽!
2017-06-21 19:30:45

FreeRTOS与RISC-V——适用于RISC-V的FreeRTOS概述

提供据了易于增加具体的RISC-V架构拓展特性的基本接口。1.3 FreeRTOS中与RISC-V相关的特定头文件为了能让FreeRTOS能在RISC-V处理器上顺利运行,除了
2023-04-09 09:26:41

MIPS Technologies不再设计MIPS处理器。相反,它加入了RISC-V阵营

MIPS Technologies不再设计MIPS处理器。相反,它加入了RISC-V阵营,放弃了具有悠久历史和技术联系的同名架构。此举显然预示着MIPS作为CPU系列的终结,并进一步减少了可用处理器
2021-03-09 19:30:07

Occamy RISC-V 前景如何

由欧洲航天局支持,由苏黎世联邦理工学院和博洛尼亚大学的工程师开发的 Occamy 处理器现已流片。它使用了两个 216 个 32 位 RISC-V 内核的 chiplet 小芯片、未知数量的 64
2023-05-13 08:44:36

RT-Thread Studio(对芯来科技RISC-V处理器内核开发的全面支持

处理器指令集,是构建芯片生态和发展芯片技术的核心部分,其重要性不言而喻。在此背景下,RISC-V有望成为新的选择。尽管具有通用、开放与免费的先期优势,但相比已经成熟的Arm和Intel x86,国内
2020-11-14 09:26:41

Renesas支持RISC-V架构的具体MCU型号是哪个呢?

瑞萨电子推出围绕64位RISC-V CPU内核构建的RZ/5个通用微处理器单元(MPU),具体的型号是多少?性能怎么样?
2024-01-11 13:03:31

​GPU,RISC-V的长痛

具备与多种处理器架构协同工作的潜质,其B系列更是可以达到最高6TFLOPS的算力,对于视觉计算优异但3D图形处理仍然偏科的RISC-V来说,可以说是一个很好的辅助,尤其是对于图形性能有一定要求的消费类
2022-03-24 15:53:12

一些关于RISC-V的质疑与解读

)”的攻击,必须做好应对方案。针对RISC-V知识产权问题,David Patterson教授曾提出过一个方案:充分利用过期的专利。根据一些初步分析,主流处理器企业的专利大约有30%已经过期。通过一些
2020-06-22 16:49:27

两大架构RISC-V 和 ARM 的各种关系

,然后返回到内存中。RISC-V 和 ARM 都支持 32 位或 64 位指令集。 二、RISC-V 和 ARM 的区别 尽管 RISC-V 和 ARM 处理器技术的功能相似,但也有显着区别。 1.
2023-06-21 20:31:32

为什么选择RISC-V

RISC-V是一种开放式ISA(指令集体系结构),为处理器体系结构的创新开创了新纪元。RISC-V基金会由325多家成员公司组成。这是该技术的主要优势。软件架构师/固件工程师/软件开发
2020-07-27 17:38:30

什么是RISC-V

siFive搞RISC-V 赛昉搞RISC-V 香山搞RISC-V 到底什么是RISC-V? 先不问有什么用,RISC-V目前的能力来说,工业有没有可能?
2024-02-02 10:41:21

什么是RISC-VRISC-V指令具有哪些特点应用?

什么是RISC-VRISC-V指令具有哪些特点应用?自己怎么才能设计出设计一套指令集?
2021-10-14 09:05:03

从零开始写RISC-V处理器之一 二 前言 绪论

CPU设计领域里的门外汉,再加上很少业余时间,为此一度犹豫不决。但是直觉告诉我已近不能再等了,我决定开始自学verilog和FPGA,用简单易懂的方式写一个RISC-V处理器并且把它开源出来,在提高自身
2022-08-22 18:25:55

从零开始写RISC-V处理器之六 写在最后

都是跨平台、轻量级的工具。iverilog用来编译verilog代码,gtkwave用来查看波形。验证一个处理器,首先是能跑通各个指令,RISC-V官方提供了指令兼容性测试程序,这些程序是用汇
2022-08-23 15:05:44

优化的关键,RISC-V中的性能监控

、禁用和暂停计数,无法使用任何可编程计数和事件采样。不仅如此,RISC-V的perf不仅无法处理计数溢出,也不支持溢出中断。虽然市面上很多RISC-V处理器已经考虑到了这一点,采用定制的形式
2021-12-27 08:00:00

关于RISC-V和开源处理器的一些解读

免费的接口规范,并不会受美国管制的影响。但是,基于RISC-V开发的处理器是以商品形式存在的,故而美国企业研制的RISC-V处理器会受到美国出口管制。而美国以外的企业(包括欧洲、中国等)自主研制
2020-06-22 16:47:55

分析RISC-V架构的不同之处

0 RISC-V和其他开放架构有何不同如果仅从“免费”或“开放”这两点来评判,RISC-V架构并不是第一个做到免费或开放的处理器架构。在开始之前,我们先通过论述几个具有代表性的开放架构,来分析
2021-07-26 06:58:42

基于 RISC-V 的微控制入门指南

基于 RISC-V 处理器的开发板。LoFive FE310 开发板GroupGets LLC 的 LoFive-R1 开发板正是其中之一(图 1)。首先,LoFive R1 包含的 RISC-V
2020-08-21 18:35:32

如何使用J-Link和Embedded Studio读写RISC-V处理器的CSR?

使用不同厂家的MCU时提高调试的效率。如果你在使用RISC-V架构的处理器,并且有J-Link的话,不妨一试。
2022-08-25 15:51:38

如何入门RISC-V嵌入式

想入门RISC-V嵌入式不知如何下手?已经买了RV-STAR板子却仍然毫无头绪?RISC-V嵌入式课程早春营,here we come!老板说上一个开课通知早春营|《RISC-V处理器嵌入...
2022-01-07 07:27:55

如何在RISC-V处理器上使用FreeRTOS?

RISC-V指令集体系结构(ISA)易于扩展,并且没有指定关于特定RISC-V微控制或片上系统(SoC)实现的所有内容。因此,FreeRTOS RISC-V移植也是可扩展的-它提供了一个处理所有
2019-11-29 15:54:41

学习RISC-V入门 基于RISC-V架构的开源处理器及SoC研究

RISC-V架构的开源处理器与SoC。1 RISC-V简介1.1 RISC-V的基本设计RISC-V是一个典型三操作数、加载-存储形式RISC架构,包括三个基本指令集和6个扩展指令集,如表1所示,其中
2020-07-27 18:09:27

干货:教科书级透彻分析 RISC-V

越来越多国内外的 RISC-V 处理器 IP 在不断出现,结尾给大家总结下当前阶段 RISC-V 商用 IP (不仅 RISC-VIP,也是任何一种芯片 IP)必备的的五大要素:1、充足的验证质量:一流
2020-07-27 17:50:25

开发出商用的RISC-V处理器还需要哪些开发工具和环境?

开发出商用的RISC-V处理器还需要哪些开发工具和环境? 处理器是软硬件的交汇点,所以必须有完善的编译、开发工具和软件开发环境(IDE),处理器内核才能够被用户顺利使用起来。目前RISC-V具有
2023-11-18 06:05:15

我了解的RISC-V

使用,同时也容许企业添加自有指令集拓展而不必开放共享以实现差异化发展。 架构简单 RISC-V架构秉承简单的设计哲学。体现为: 在处理器领域,主流的架构为x86与ARM架构。x86与ARM架构的发展的过程
2023-03-19 10:52:16

搭载RISC-V芯片的手机,或将于明年正式推出

的Linux PC平台HiFive Unmatched,不过目前还只是以开发板的形式面向开发人员。HiFive Unmatched配备了SiFive FU740 SoC处理器,开发人员可以利用RISC-V
2021-12-17 08:00:00

有推荐的 RISC-V 模拟吗?

有推荐的 RISC-V 模拟吗?
2023-04-15 23:43:52

每日推荐 | HarmonyOS 从入门到大神资料,从零开始写RISC-V处理器经验连载

各位开发者们丰富的学习资源。为了方便大家获取资料,现在只需扫描下面海报二维码并回复关键字 “教程” 即可获取大神资料,赶快扫码领取吧!2、从零开始写RISC-V处理器之四 实践篇推荐理由:这里只介绍
2022-08-23 10:08:51

比科奇宣布采用晶心科技32位RISC-V处理器核心 打造5G小基站分布式单位(Distributed Unit)系统级芯片

(offload)芯片,兼顾高弹性、高效率、高效能,顺利克服5G小基站应用的设计挑战。“晶心32位RISC-V处理器N25F核心虽小,但功能十分强大。精简的规格让比科奇能以双丛集的形式充分利用搭载的32颗处理器
2020-10-13 16:39:24

求助,ULP RISC-V处理器周期性唤醒的BUG怎么处理

处理器进行gpio操作,执行完成后 ULP RISC-V处理器退出,等待下一个ULP唤醒周期。可当在主MCU程序中使能 esp_sleep_enable_ulp_wakeup() 函数后,每当
2023-02-09 06:52:26

浅谈RISC-V

的谭姓学生宣称的“技术上看,RISC-V 相比Arm架构处理器功耗低 5-6倍、面积效率提升5倍“ 看看笑笑就好,这种PR的话就别当真了,真要当真了你该怀疑这位加州大学伯克利分校的高材生的水平
2018-09-11 17:44:01

科普RISC-V生态架构(认识RISC-V)

, 64位Linux兼容版U2,U7处理器。并着手于简化芯片设计领域的技术鸿沟,提供云端的模块化设计和验证程序。SIFIVE目前也是RISC-V领域产品系列最全,技术相对领先的公司。其它芯片设计公司
2020-08-02 11:50:33

简单就是美——RISC-V架构的设计哲学

或者自减的模式虽然能够提高处理器访问连续存储地址区间的性能,但是也增加了设计处理器的难度。RISC-V架构的存储读和存储写指令不支持地址自增自减的模式。RISC-V架构采用松散存储模型
2020-07-27 17:47:26

计算机RISC-V内容整理

精简指令集计算机。RISC-V是基于RISC原理建立的免费开放指令集架构(ISA),V是罗马字母,代表第五代RISC(精简指令集计算机),可读作RISC-FIVE。通过开放式标准协作实现处理器创新的新时代
2019-07-29 07:57:16

设计一个risc-v芯片流程是什么?

我非常想了解如果想设计一个类似risc-v处理器,整个开发流程是怎样的?
2023-12-09 18:39:01

请问risc-v处理器在什么场景和行业应用比较多?

如题,现在risc-v发展的如此迅猛,不知道这些处理器主要应用在哪些行业比较多呢?
2023-12-09 18:37:01

请问ESP32s3 ULP RISC-V处理器是否支持ADC的读取?

我在ULP RISC-V处理器的例程中,没有发现有对ADC的操作,请问RISC-V处理器目前还不支持吗?使用的IDF版本为4.4.2。我想在ULP模式下,通过ADC来读取外部器件的数据。
2023-02-13 06:34:36

请问ESP32s3 ULP RISC-V处理器是否支持ADC的读取?

我在ULP RISC-V处理器的例程中,没有发现有对ADC的操作,请问RISC-V处理器目前还不支持吗?使用的IDF版本为4.4.2。我想在ULP模式下,通过ADC来读取外部器件的数据。
2023-03-06 06:33:44

读《玄铁RISC-V处理器入门与实战》

是由美国伯克利大学的 Krest 教授及其研究团队提出的,当时提出的初衷是为了计算机/电子类方向的学生做课程实践服务的。由于这是伯克利大学研究并流片的第五代RISC架构处理器,因此就命名为RISC-V
2023-09-28 11:58:35

读书分享会 | 玄铁RISC-V处理器入门与实战电子书免费下载!

本帖最后由 余一yui 于 2023-4-26 10:44 编辑 《玄铁RISC-V处理器入门与实战》是一本介绍开源ISA(指令集架构)RISC-V的电子书。RISC-V是由加州大学伯克利分校
2023-04-12 11:16:58

阿里平头哥宣布开源玄铁RISC-V系列处理器

10月19日,在2021云栖大会上,阿里云智能总裁张建锋宣布,平头哥开源玄铁RISC-V系列处理器,并开放系列工具及系统软件。这是系列处理器与基础软件的首次全栈开源,将推动RISC-V架构走向成熟
2021-10-20 14:09:00

香山处理器 RISC-V的典范

https://github.com/JiaoXianjun/XiangShan谈到RISC-V,应该都会想到香山处理器。其经历了几代的演进,性能越来越高。采用Chisel Rocketchip框架,能够方便的定制属于你的RISC-V处理器。对此,你有什么看法?
2023-04-14 15:51:59

香山是什么?“香山” 高性能开源 RISC-V 处理器项目介绍

香山是什么2019 年,在中国科学院支持下,由 中国科学院计算技术研究所 牵头发起 “香山” 高性能开源 RISC-V 处理器项目,研发出目前国际上性能最高的开源高性能 RISC-V 处理器
2022-04-07 14:20:44

VaaS平台已支持区块链平台智能合约的形式化验证

VaaS形式化验证平台,采用了多种形式化验证方法,具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、可支持大容量区块链底层平台的形式化验证等优点。
2018-12-14 10:18:25961

RISC-V是通用RISC处理器还是可定制的处理器?

随着这些年的发展,RISC-V的受重视程度与与日俱增。这主要因为它是免费的、灵活的,并且速度很快。这使RISC-V成为许多开发人员的安全便捷选择。但是您会认为RISC-V是通用RISC处理器还是定制的随心所欲处理器
2020-11-17 16:11:563167

创新引领|芯华章联手芯来科技提升RISC-V处理器设计验证

芯来科技将正式采用芯华章自主研发的新一代智能验证系统穹景 (GalaxPSS)及数字仿真器穹鼎 (GalaxSim)等系列EDA验证产品,加速新一代复杂RISC-V处理器IP的设计研发。
2022-03-03 10:32:251968

定制RISC-V处理器简化设计验证

  Imperas 产品组合以及来自快速发展的 RISC-V 生态系统的其他工具,为您今天开始自己的开放式处理器设计提供了足够的资源。
2022-06-01 10:00:271330

关于RISC-V 处理器验证的问题

处理器验证是一个全新的领域。我们知道 Arm 和 Intel 对处理器质量的期望设置了很高的标准。在 RISC-V 中,我们必须尝试并遵循这一点。
2023-03-22 15:19:32380

从小众走向普及,形式化验证对系统级芯片开发有多重要?

首选。据估计,在未来五年内仿真将逐渐被取代,仅用于子系统和系统级验证。与此同时,形式化验证方法已经开始处理一些系统级任务,随着技术的不断创新,形式化验证将逐步开始处理更多系统级任务。 形式化验证的普及 近五年来,更多机构和设计验
2023-04-21 19:35:05401

基于形式验证的高效RISC-V处理器验证方法

转型RISC-V,大家才发现处理器验证绝非易事。新标准由于其新颖和灵活性而带来的新功能会在无意中产生规范和设计漏洞,因此处理器验证处理器开发过程中一项非常重要的环节。
2023-06-01 09:07:01370

基于形式验证的高效RISC-V处理器验证方法

随着RISC-V处理器的快速发展,如何保证其正确性成为了一个重要的问题。传统的测试方法只能覆盖一部分错误情况,而且无法完全保证处理器的正确性。因此,基于形式验证的方法成为了一个非常有前途的方法,可以更加全面地验证处理器的正确性。本文将介绍一种基于形式验证的高效RISC-V处理器验证方法。
2023-06-02 10:35:17976

利用先进形式验证工具来高效完成RISC-V处理器验证

在本文中,我们将以西门子EDA处理器验证应用程序为例,结合Codasip L31这款广受欢迎的RISC-V处理器IP提供的特性,来介绍一种利用先进的EDA工具,在实际设计工作中对处理器进行验证的具体方法。
2023-07-10 10:28:41300

基于形式的高效 RISC-V 处理器验证方法

RISC-V的开放性允许定制和扩展基于 RISC-V 内核的架构和微架构,以满足特定需求。这种对设计自由的渴望也正在将验证部分的职责转移到不断壮大的开发人员社群。然而,随着越来越多的企业和开发人员转型RISC-V,大家才发现处理器验证绝非易事。
2023-07-10 09:42:08413

思尔芯原型验证助力香山RISC-V处理器迭代加速

2023年10月19日, 思尔芯(S2C) 宣布 北京开源芯片研究院(简称“开芯院”) 在其历代“香山” RISC-V 处理器开发中采用了思尔芯的 芯神瞳 VU19P 原型验证系统
2023-10-24 16:28:17317

思尔芯原型验证助力香山RISC-V处理器迭代加速

2023年10月19日,思尔芯(S2C)宣布北京开源芯片研究院(简称“开芯院”)在其历代“香山”RISC-V处理器开发中采用了思尔芯的芯神瞳VU19P原型验证系统,不仅加速了产品迭代,还助力多家企业
2023-10-25 08:24:04302

已全部加载完成