日志
- 分享 验证的方法篇之二：静态检查
- 与动态仿真相对的是静态检查，它本身不需要仿真、波形激励，通过工具的辅助，验证人员即可以发现设计中存在的问题。静态检查方法较为分散，且关注的验证领域也不为一致，我们将目前主要的方法概括为： 语法检查（syntax check） 语义检查（linting check） 跨时钟域检查（CDC，cross-clock do ...
- 分享 验证的方法篇之一：动态仿真
- 从这一季开始我们进入了《 验证的方法篇 》，之所以单独分出一季来介绍验证的方法和工具，一方面是目前验证方法的分支和其工具种类繁多，另外的是希望读者可以在系统了解了验证的工具库之后，在验证设计的时候首先有一套工具箱，而后再根据设计的特点将其结合不同的验证方法和工作，最终取得满意的效果。 从Wi ...
- 分享 验证的策略篇之六（终）：集成的环境
- 在分析完激励的原则的检查的方法之后，我们关于验证平台（testbench）的核心要素就大致齐备了。接下来我们将进一步分析整个验证集成环境要考虑的部分有哪些，通过这些分析了解这些部分之间的关系。从下面这张图我们将验证集成环境分为了： 验证平台（verification platform） 运行环境（runtime environm ...
- 分享 验证的策略篇之五：检查的方法
- 我们在上一节《激励的原则》里面给出了几点用来评估激励自由度的方法，在这篇文中，我们则需要考虑在各种可能的激励组合下，如何选择适当的检查来完成一项核心要素： 检查就是查看设计是否按照功能描述做出理应的行为，并且识别所有错误的输出从而发现设计缺陷 。 对于激励我们是从接口类型来划分的，那 ...
- 分享 验证的策略篇之四：激励的原则
- 我们这篇文章《激励的原则》实际上就是解决一件事情，那就是 如何保证激励源最大的自由度？ 因为只有从环境结构上保证了激励源最大的自由度，我们才有可能在输入一侧提供更丰富的输入组合，有条件地穷历一些测试序列。 按照这个核心原则，我们可以将激励的自由度按照如下去考虑评估： 接口类型 序列 ...
- 分享 验证的策略篇之三：验证的透明度
- 我们可以按照激励的生成方式和检查的功能点分布将验证划分为三种基本方式： 黑盒验证 白盒验证 灰盒验证 接下来，我们逐个解释这三种不同透明度的验证特征。 黑盒验证 如果验证人员对于设计的细节缺乏认识，那么黑盒验证是一种合适的方式。因为验证环境只需要将激励给入设计的外部接 ...
- 分享 用于多核HDL仿真的自动分区技术
- 前端RTL验证和后端门级验证是集成电路设计流程的重要阶段。这些阶段甚至会占到整个IC设计周期的70％到80％。随着IC设计日益复杂化，HDL逻辑仿真更显得至关重要，并且为满足市场需求，我们需要验证仿真时间更短一些才好，基于此， 就开发出了多核HDL仿真器 。 但是多核仿真器也提出了一个新的问题，即要对哪些操作实 ...
- 分享 基于快速启动软件驱动的硬件验证框架
- 软件驱动硬件验证在当今复杂的SoC开发中变得越来越重要，硬件验证效率已经从像UVM这样验证框架中受益匪浅，但是在嵌入式软件驱动测试中，还没有这样的框架来提高效率。本文介绍有SVF这样一个框架的好处，并提出了验证框架（针对软件驱动的硬件验证）的关键特性和基本组成。 一.软件驱动验证面临 ...
- 分享 uvm_config_db在UVM验证环境中的应用
- 如何在有效的使用uvm_config_db来搭建我们的uvm验证环境对于许多验证团队来说仍然是一个挑战,一些验证团队完全避免使用它,这样就不能够有效利用它带来的好处,另一些验证团队却过多的使用它,这让他们的验证环境变得不稳定,本篇论文,我们讨论如何简单有效平衡的在我们的验证环境中使用uvm_config_db,让它为我们的验证环境贡 ...
- 分享 自动创建SOC测试平台
- 复用对于测试平台的开发和部署是非常重要的，我们经常谈论复用验证IP(简称VIP)，然而，复用测试平台的结构同样很重要。手动构建测试平台是一个耗时和成本昂贵的过程，此外，它很难保证一致性。为了缓解这个问题，Cypress创建了一个测试平台自动生成器，并命名为TBGen。 TBGen实际上就是能自动生成测试平台（TB） ...
/2 
eetop公众号
创芯大讲堂
创芯人才网