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

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

3天内不再提示

路科验证

文章:93 被阅读:11.7w 粉丝数:9 关注数:0 点赞数:2

广告

一种智能网卡的形式验证流程

最后从错误状态中恢复(restore)到一个可知状态,在人为较少介入的情况下,还能够继续处理后续的数....
的头像 路科验证 发表于 03-25 09:07 605次阅读

如何构建一款先进的数字仿真器?

数字仿真器(Simulator)是一种大型EDA工业软件,是数字验证领域的基础工具之一,也是为数不多....
的头像 路科验证 发表于 03-22 15:46 741次阅读

如何通过接口IP来保障芯片数据安全?

这些创新领域都需要处理大量的数据及计算。据IDC统计,2025年全球数据量将达到175ZB,对算力的....
的头像 路科验证 发表于 03-17 10:06 547次阅读

让ChatGPT伪装成Linux

我先让它伪装成Linux,给它说你安装了synopsys vcs2018以及uvm-1.1。
的头像 路科验证 发表于 02-20 13:37 1925次阅读

低功耗贯穿芯片设计全流程

低功耗一直是便携式电子设备的关键要求,但近年来,在人工智能、5G、大数据中心、汽车等应用快速发展的推....
的头像 路科验证 发表于 02-14 09:10 830次阅读

ASML警告美国升级出口管制将加速中国开发***技术

第一,美国持续游说荷兰和日本加入封锁中国半导体技术的行列,显见半导体已成为中美两大经济体竞争的主战场....
的头像 路科验证 发表于 02-08 15:43 1481次阅读

AI/ML助力SoC验证按期完工

单颗芯片上集成的晶体管数量,已经超过全球人口总数,且还在提升过程中。
的头像 路科验证 发表于 02-03 09:13 456次阅读

一些高质量的AMBA(APB/AHB/AXI) VIP分享

关于VIP的好处,估计就不用我安利了,引用最近S家的一句广告语,“拥有VIP,无惧芯片设计挑战”。而....
的头像 路科验证 发表于 12-06 14:58 1173次阅读

关于形式验证的11个误区

对于第一代形式化工具来说,这个误区可以说是正确的,这些工具是为学术目的而设计的。他们需要学习一种晦涩....
的头像 路科验证 发表于 11-29 14:31 594次阅读

芯片开发中形式化验证的是一个误区

今天的形式验证工具具有更大的容量,并且许多工具能够在服务器或云上以分布式模式运行。形式验证的技术和方....
的头像 路科验证 发表于 11-29 14:31 1596次阅读

车用芯片设计的动能和创新亮点

闪存被广泛地运用到多种汽车应用,包括无线通信系统、激光雷达、胎压检测器、车上的无线充电系统、电动车电....
的头像 路科验证 发表于 10-20 14:18 539次阅读

讲解SystemVerilog中对于process的多种控制方式

所以,我们要记住,如果需要访问block中的变量或者parameter,则需要给block进行命名,....
的头像 路科验证 发表于 09-26 15:06 926次阅读

爱芯元智空中宣讲 致力于打造世界领先的AI芯片

最近气温持续升高,我们依旧热情不减,相约来聊聊爱芯元智的那些事儿,一起谈谈“芯”吧。 爱芯元智半导体....
的头像 路科验证 发表于 09-14 14:52 973次阅读

CCIX传输层详解

开篇中提过,CCIX可以看作两个主要规范,分别是CCIX协议规范和CCIX传输规范。
的头像 路科验证 发表于 09-09 13:01 1049次阅读

SystemVerilog中枚举类型的使用建议

SystemVerilog中枚举类型虽然属于一种“强类型”,但是枚举类型还是提供了一些“不正经”的用....
的头像 路科验证 发表于 09-01 14:20 1141次阅读

基于Mentor Graphics Catapult工具的HLS硬件设计

如图表所示,数字芯片的硬件描述层级可以被粗略分为四个,从底向上依次是物理级(晶体管级)、门级、RTL....
的头像 路科验证 发表于 08-26 13:59 1363次阅读

浅谈CCIX协议层

数据错误。用于当访问了正确的地址位置,但在数据中检测到无法纠正的(uncorrectable)错误。....
的头像 路科验证 发表于 08-24 09:44 678次阅读

CCIX协议层详解

全一致性读事务,包括:ReadUnique,ReadClean, ReadNotSharedDirt....
的头像 路科验证 发表于 08-17 09:39 1029次阅读

AWS为什么过去和现在要做芯片和硬件自研这些事情

对于互联网巨头来说,设计并制造自己的硬件,以此来提高效率并建立竞争优势已经是显而易见的事情。亚马逊A....
的头像 路科验证 发表于 08-05 14:26 1141次阅读

CCIX协议层详解

每个CCIX代理都有一个ID,通过ID进行消息路由。 每个CCIX端口可以与一个或多个其他CCIX端....
的头像 路科验证 发表于 08-03 14:12 2101次阅读

一文详解CCIX规范

正文开始前,闲扯几句。在接下来分析CCIX规范的过程中,大家会发现CCIX里面有太多ARM的影子,尤....
的头像 路科验证 发表于 08-01 14:01 1554次阅读

5nm 112Gbps最新一代SerDes IP时钟设计详解

112Gbps SerDes设计将根据应用情况在各种配置中被采用。下图展示了长距离(LR)、中距离(....
的头像 路科验证 发表于 07-27 15:05 1140次阅读

寄存器的基本知识

几乎我们设计的每个模块都会有寄存器,而它们的寄存器或多或少能被CPU访问到。但CPU的接口通常只有一....
的头像 路科验证 发表于 07-26 13:52 9081次阅读

CCIX规范的简单介绍

对于芯片互联网络,有两个指标是至关重要的:带宽和延时。CCIX 采用两种机制来提高性能、降低延时。第....
的头像 路科验证 发表于 07-21 14:35 1092次阅读

卫星导航系统的发展已经到达了一个新的高度

我国具有自主知识产权的GNSS系统-北斗系统,在功能融合、特色服务方面,进行了一系列开创性探索,拓宽....
的头像 路科验证 发表于 07-14 14:56 1129次阅读

芯片验证过程中遇到的仿真器挂死的情形

当仿真时间不能往前推进,但是delta cycle无限增加的情形下。可以在仿真开始时,使用如下tcl....
的头像 路科验证 发表于 06-02 14:39 3108次阅读

如何从命令行获取和解析参数

这是一篇技术干货快文,能够快速阅读完。文章内容是关于如何从命令行获取和解析参数,包括SystemVe....
的头像 路科验证 发表于 05-30 14:05 2157次阅读

vcs学习笔记(常用选项/仿真流程/代码覆盖率/综合后仿真/图一乐技巧)

VCS是编译型verilog仿真器,VCS先将verilog/systemverilog文件转化为C....
的头像 路科验证 发表于 05-23 16:04 7941次阅读

盘点UVM针对不同机制提供给用户的调试功能

+UVM_OBJECTION_TRACE:打开Objection相关活动的追踪功能,可以清晰地呈现出....
的头像 路科验证 发表于 05-19 14:17 978次阅读

详解RTL设计中多时钟域的处理方法

数字IC系统逻辑设计这部分主要介绍两个方面,一个是RTL的设计基础;另一方面是verilog基本语法....
的头像 路科验证 发表于 05-17 13:52 1427次阅读