芯片验证
关注
分享
扫一扫
文章平均质量分 68
分享芯片验证的专栏
谷公子的藏经阁
分享CPU, 各种AMBA协议, 芯片验证, 方法学, 脚本, EDA。Wechat(专芯致志er)
展开
-
芯片验证体系
芯片验证知识体系梳理原创 2022-05-02 16:02:22 · 4182 阅读 · 2 评论
-
SoC验证如何减少Bug
在SoC验证中，checklist是很重要的一步，要审视下有没有无意间漏掉的检查或者做出的假设。大部分情况下，checklist总能发现一些RTL bug，本文给出了一些检查的思考方向，希望对大家有用，也欢迎大家补充。原创 2025-02-21 11:10:02 · 513 阅读 · 0 评论 -
一种解决SoC总线功能验证完备性的技术
如何确保各个IP是否正确连接到总线上，而且各IP的地址空间分配是否正确，是一件很棘手的事情。本文提出了一种新方法，可以解决SoC总线验证的诸多困难，既简单又快速地完成SoC总线功能验证。原创 2025-02-07 20:52:14 · 806 阅读 · 0 评论 -
如何写出更系统的验证检查器
芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。有效激励灌入待测模块后，需要判断出不符合功能描述的行为。检查器(Checker)就是用于查看待测模块是否按照功能描述文档做出期望的行为，识别出所有的设计缺陷。原创 2024-10-07 11:35:45 · 1069 阅读 · 0 评论 -
如何写出更牛更系统的验证激励
芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。完备的验证激励可以更有效地发现芯片错误，进而缩短验证周期。合格的验证激励必须能产生所有可能的验证场景(完备性)，包括合法和非法的场景，并保持最大的可扩展性和可控性。原创 2024-10-04 20:47:21 · 1241 阅读 · 0 评论 -
设计模式在芯片验证中的应用——状态
状态模式是一种行为设计模式， 让你能在一个对象的内部状态变化时改变其行为， 使其看上去就像改变了自身所属的类一样。原创 2024-08-17 19:27:21 · 554 阅读 · 0 评论 -
芯片验证分享系列总结及PPT分享
验证分享系列视频总结和PPT分享原创 2024-06-21 20:47:49 · 474 阅读 · 0 评论 -
芯片验证分享9 —— 芯片调试
大家好，我是谷公子，之前的课程给大家讲了验证原则、激励设计和代码审查，今天我们来讲芯片调试。原创 2024-06-19 09:12:18 · 375 阅读 · 0 评论 -
芯片验证分享8 —— 代码审查2
大家好，我是谷公子，上节课给大家讲了代码审查中的代码正向检查，今天我们来讲代码审查的其他方法。今天介绍的检查方法有：代码反向检查、桌面检查、同行评审、可用性验证。原创 2024-06-16 20:14:13 · 227 阅读 · 0 评论 -
芯片验证分享7 —— 代码审查1
大家好，我是谷公子，前几节课给大家分享了如何设计激励，今天我们来如何进行代码审查。代码审查在查找错误方面非常有效，任何编程项目都需要它。原创 2024-06-16 13:23:11 · 498 阅读 · 1 评论 -
芯片验证分享6 —— 激励开发4
大家好，我是谷公子，上节课跟大家分享了黑盒技术中的等价类分析和边界值分析方法。我们这次来分享下黑盒设计中的其它技术。原创 2024-06-11 21:40:48 · 356 阅读 · 1 评论 -
芯片验证分享5 —— 激励开发3
大家好，我是谷公子，上节课跟大家分享了黑盒技术中的等价类分析和边界值分析方法。我们这次来讲下黑盒设计中的其它技术。原创 2024-06-04 10:26:57 · 232 阅读 · 1 评论 -
芯片验证分享4 —— 激励开发2
大家好，我是谷公子，上节课跟大家分享了如何在芯片验证中开发出更有效的激励。这次我们继续来讲激励开发。一般来说，在所有的激励开发中效率最低的是漫无目的的随机激励，就是在所有可能的输入值中随机选取某个值来对芯片进行验证的过程。目前有三种常用的激励设计方法，分别是：黑盒设计、白盒设计和灰盒设计。原创 2024-06-04 10:24:49 · 349 阅读 · 1 评论 -
芯片验证分享3 —— 激励开发1
大家好，我是谷公子，前两节课和大家分享了验证中比较重要的名词和验证七大原则，今天来讲下如何在芯片验证中开发出更有效的激励。激励开发的内容稍微多一点，我们将分开讲述，这次是第一部分。原创 2024-06-04 10:21:07 · 216 阅读 · 1 评论 -
芯片验证分享2 —— 验证七大原则
✦✧ 前言 ✦大家好，我是谷公子，上节课和大家分享了几个验证中比较重要的名词，今天来讲下芯片验证中需要遵循的七大原则。以下这些原则不分先后，在验证中同等重要。原创 2024-06-04 10:17:44 · 404 阅读 · 0 评论 -
芯片验证分享1 —— 开篇及名词解释
大家好，我是谷公子的藏经阁，这个视频为《芯片验证分享》系列的开篇以及相关名词解释，希望对大家的日常工作有所帮助。原创 2024-06-04 10:14:46 · 416 阅读 · 1 评论 -
设计模式在芯片验证中的应用——迭代器
迭代器设计模式(iterator)是一种行为设计模式， 让你能在不暴露集合底层表现形式 （列表、 栈和树等数据结构） 的情况下遍历集合中所有的元素。原创 2024-06-01 09:46:11 · 407 阅读 · 0 评论 -
设计模式在芯片验证中的应用——模板方法
模板方法(Template Method)模式是一种行为设计模式， 它在父类中定义了一个功能的框架， 允许子类在不修改结构的情况下重写功能的特定步骤。原创 2024-05-26 21:05:03 · 1230 阅读 · 0 评论 -
设计模式在芯片验证中的应用——单例
单例模式(Singleton)是一种创建型设计模式，能够保证一个类只有一个实例， 并提供一个访问该实例的全局节点。原创 2024-05-21 21:10:02 · 561 阅读 · 0 评论 -
设计模式在芯片验证中的应用——策略
策略模式是一种行为设计模式， 它能让你定义一系列算法， 并将每种算法分别放入独立的类中， 以使算法的对象能够相互替换。原创 2024-04-15 20:09:36 · 1153 阅读 · 0 评论 -
设计模式在芯片验证中的应用——装饰器
装饰器模式(Decorator)是一种结构化软件设计模式，它提供了一种通过向类对象添加行为来修改类对象的方法，而不会影响同一类的其它对象行为。原创 2024-03-16 18:08:21 · 1220 阅读 · 0 评论 -
设计模式在芯片验证中的应用——备忘录
本文介绍备忘录(亦称： 快照、Snapshot、Memento)在验证环境中的使用，来对设计逻辑中实现的特性进行建模。原创 2024-03-07 20:29:58 · 1169 阅读 · 0 评论 -
芯片验证系列——Checker
Checker就是用于查看DUT是否按照功能描述做出期望的行为，识别出所有的设计缺陷。原创 2023-01-29 20:54:41 · 1970 阅读 · 0 评论 -
芯片验证系列——激励(stimulus)
本文聚焦于在构造stimulus方面的一些想法原创 2023-01-28 22:43:09 · 2507 阅读 · 0 评论 -
芯片验证系列——验证计划
本篇讲述芯片验证计划应该包含哪些内容。原创 2022-05-04 15:48:51 · 8727 阅读 · 0 评论 -
芯片验证系列——Testpoints分解
本节描述了verification feature和testpoint如何获取的一些方法原创 2022-05-02 21:35:38 · 7728 阅读 · 2 评论 -
芯片验证Systemverilog用例可重用方法
对于芯片验证来说，验证平台的可重用和验证效率至关重要，在早期写测试用例时就要想好如何可以复用，来提升效率。本文讲下在芯片验证中，如何采用SystemVerilog语法中的`define生成大量类似用例。一方面可以让用例简洁明了，方便维护，另一方面可以快捷生成各种用例。原创 2020-02-19 21:43:19 · 1035 阅读 · 0 评论 -
芯片验证的一些记录
芯片验证的一些记录原创 2020-04-22 21:55:46 · 879 阅读 · 0 评论 -
SystemVerilog与功能验证
芯片验证与systemverilog原创 2019-11-25 21:55:25 · 10244 阅读 · 0 评论 -
关于芯片验证中写testcase的一些想法
在芯片验证中，搭建好testbench后，就必须开始着手创建testcases。testcase按功能可划分为三类：冒烟用例、随机用例、定向用例。按开发时间顺序，一般也是冒烟用例→随机用例→定向用例。原创 2020-06-20 22:16:04 · 9027 阅读 · 3 评论