- 博客(144)
- 资源 (4)
- 收藏
- 关注
原创 如何写出更牛更系统的验证激励
芯片验证是为了发现芯片中的错误而执行的过程,它是一个破坏性的过程。完备的验证激励可以更有效地发现芯片错误,进而缩短验证周期。合格的验证激励必须能产生所有可能的验证场景(完备性),包括合法和非法的场景,并保持最大的可扩展性和可控性。
2024-10-04 20:47:21 895
原创 讲个SystemVerilog disable语句的坑
记录个使用SystemVerilog disable语句时遇到的坑,这个坑有点反直觉,以至于我当时有点不信,觉得可能是EDA仿真工具的问题。后来查看了SystemVerilog手册和使用不同EDA工具进行验证,才慢慢接受了。结论是:SystemVerilog disable block_name或task时,会把hierarchy一致的block_name或task的线程都停掉。
2024-09-01 10:38:35 950
原创 设计模式在芯片验证中的应用——状态
状态模式是一种行为设计模式, 让你能在一个对象的内部状态变化时改变其行为, 使其看上去就像改变了自身所属的类一样。
2024-08-17 19:27:21 504
原创 讲个SystemVerilog随机约束小坑
记录个在写SystemVerilog随机约束时遇到的一个小坑,如果没有认真去查看随机结果是否符合预期,还真不容易发现。
2024-07-06 21:45:14 389 2
原创 SystemVerilog Assertion精华知识
断言是对设计属性的描述:如果在仿真中检查的属性没有按照我们期望的方式运行,则断言失败;如果在仿真中出现了在设计中禁止发生的行为属性,则断言失败;
2024-06-22 17:05:31 999
原创 芯片验证分享8 —— 代码审查2
大家好,我是谷公子,上节课给大家讲了代码审查中的代码正向检查,今天我们来讲代码审查的其他方法。今天介绍的检查方法有:代码反向检查、桌面检查、同行评审、可用性验证。
2024-06-16 20:14:13 180
原创 芯片验证分享7 —— 代码审查1
大家好,我是谷公子,前几节课给大家分享了如何设计激励,今天我们来如何进行代码审查。代码审查在查找错误方面非常有效,任何编程项目都需要它。
2024-06-16 13:23:11 434 1
原创 芯片验证分享6 —— 激励开发4
大家好,我是谷公子,上节课跟大家分享了黑盒技术中的等价类分析和边界值分析方法。我们这次来分享下黑盒设计中的其它技术。
2024-06-11 21:40:48 320 1
原创 SystemVerilog Interface Class的妙用
Interface Class是在SystemVerilog 2012版本中引入的,但目前在验证中几乎很少采用,大多数验证工程师要么不知道它,要么没有看到使用它的任何好处,这使得Interface Class成为一个未被充分使用和不被重视的特性。本文将举两个Interface Class的使用例子,在这些例子中,Interface Class提高了验证环境的灵活性和质量,同时进一步提高了其可维护性和可调试性。
2024-06-09 10:24:30 995
原创 芯片验证分享5 —— 激励开发3
大家好,我是谷公子,上节课跟大家分享了黑盒技术中的等价类分析和边界值分析方法。我们这次来讲下黑盒设计中的其它技术。
2024-06-04 10:26:57 199 1
原创 芯片验证分享4 —— 激励开发2
大家好,我是谷公子,上节课跟大家分享了如何在芯片验证中开发出更有效的激励。这次我们继续来讲激励开发。一般来说,在所有的激励开发中效率最低的是漫无目的的随机激励,就是在所有可能的输入值中随机选取某个值来对芯片进行验证的过程。目前有三种常用的激励设计方法,分别是:黑盒设计、白盒设计和灰盒设计。
2024-06-04 10:24:49 268 1
原创 芯片验证分享3 —— 激励开发1
大家好,我是谷公子,前两节课和大家分享了验证中比较重要的名词和验证七大原则,今天来讲下如何在芯片验证中开发出更有效的激励。激励开发的内容稍微多一点,我们将分开讲述,这次是第一部分。
2024-06-04 10:21:07 169 1
原创 芯片验证分享2 —— 验证七大原则
✦✧ 前言 ✦大家好,我是谷公子,上节课和大家分享了几个验证中比较重要的名词,今天来讲下芯片验证中需要遵循的七大原则。以下这些原则不分先后,在验证中同等重要。
2024-06-04 10:17:44 342
原创 芯片验证分享1 —— 开篇及名词解释
大家好,我是谷公子的藏经阁,这个视频为《芯片验证分享》系列的开篇以及相关名词解释,希望对大家的日常工作有所帮助。
2024-06-04 10:14:46 371 1
原创 设计模式在芯片验证中的应用——迭代器
迭代器设计模式(iterator)是一种行为设计模式, 让你能在不暴露集合底层表现形式 (列表、 栈和树等数据结构) 的情况下遍历集合中所有的元素。
2024-06-01 09:46:11 370
原创 设计模式在芯片验证中的应用——模板方法
模板方法(Template Method)模式是一种行为设计模式, 它在父类中定义了一个功能的框架, 允许子类在不修改结构的情况下重写功能的特定步骤。
2024-05-26 21:05:03 1177
原创 内存虚拟化系列1——为何需要虚拟存储器
虚拟存储器(Virtual Memory, VM)应用于现代各种规模的计算机系统中,包括数据中心、台式机、平板电脑、手机、可穿戴设备,甚至是嵌入式系统,虚拟存储器为程序员提供了干净实用的编程模型。
2024-05-22 21:53:02 330
原创 设计模式在芯片验证中的应用——单例
单例模式(Singleton)是一种创建型设计模式,能够保证一个类只有一个实例, 并提供一个访问该实例的全局节点。
2024-05-21 21:10:02 515
原创 新能源车载芯片分析
新能源汽车市场正迸发出巨大的活力,传统主机厂和新势力都纷纷推出各种车型,打起了价格战,各种新技术让人眼花缭乱。当前,战场硝烟弥漫,新能源汽车公司犹如春秋时期的各诸侯国。车载芯片作为新能源汽车的关键组成部分,影响着整个汽车行业的格局。
2024-04-27 21:18:44 646
原创 CHI中observe响应和order响应的区别
本文讲述了Observe响应和Order响应的区别,Requestor可以根据这两者响应得到什么信息。
2024-04-20 15:28:22 1171 1
原创 设计模式在芯片验证中的应用——策略
策略模式是一种行为设计模式, 它能让你定义一系列算法, 并将每种算法分别放入独立的类中, 以使算法的对象能够相互替换。
2024-04-15 20:09:36 1097
原创 一文读懂Memory consistency model (内存模型)
本文介绍了计算机系统中各种常见的memory model(内存模型)以及优缺点。
2024-04-07 21:15:52 2028 1
原创 设计模式在芯片验证中的应用——装饰器
装饰器模式(Decorator)是一种结构化软件设计模式,它提供了一种通过向类对象添加行为来修改类对象的方法,而不会影响同一类的其它对象行为。
2024-03-16 18:08:21 1150
原创 设计模式在芯片验证中的应用——责任链
责任链(Chain of Responsibility)是一种软件行为设计模式,它允许一个操作或命令由多个接收者处理。
2024-03-11 20:32:36 913
原创 设计模式在芯片验证中的应用——备忘录
本文介绍备忘录(亦称: 快照、Snapshot、Memento)在验证环境中的使用,来对设计逻辑中实现的特性进行建模。
2024-03-07 20:29:58 1059
原创 CPU漏洞之Spectre
Spectre攻击通过欺骗处理器,使其推测性地执行在正确的程序执行下不应该执行的具有可测量副作用的操作,并通过侧通道(Side channel)将受害者的机密信息泄露出去。
2024-03-03 20:13:10 1185
原创 CPU漏洞之Meltdown
本文介绍的Meltdown利用现代处理器上乱序执行(Ouf-of-order)的副作用(side effects)来读取任意的内核内存位置,包括个人数据和密码。
2024-02-23 21:15:56 1093
ARMv9-A学习记录.pdf
2022-06-12
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人