日志
- 分享 验证的管理篇之一：验证周期的检查清单
- 从这一篇开始我们进入到了《验证的管理篇》，也许不少读者会有疑问，验证管理不是验证经理关心的事情吗？和验证人员有什么关系呢？在我们进入本篇的正题之前，我想讲讲自己刚进入第一家公司作为一个验证菜鸟，在头一个月的经历。 刚进公司的时候，我只知道自己要验证的模块是什么，花时间了解它的功能，跟设计人员交流 ...
- 分享 验证的计划篇之四：计划的进程评估
- 在验证过程中，我们需要不断地更新验证的进度，从各项参数综合评估验证的完备性。在不同的验证层次过程中，我们通过收集以下信息来评估验证计划的实施进程： 递归测试通过率 （regressioin pass rate） 代码覆盖率 （code coverage） 断言覆盖率 （assertion coverage） 功能覆盖率 （function coverage） 缺陷 ...
- 分享 浅谈逻辑仿真，形式验证及硬件仿真
- 随着硬件设计复杂性的不断增加，为了能够最大程度的使得验证收敛，验证方法也越来越多，今天我们针对常见的几种验证方法做一些简单的分析，指出它们的常用应用环境以及一些优缺点，主要包含： 逻辑仿真，形式验证，硬件仿真 一、逻辑仿真 从我们整个芯片的验证过程来讲，基于软件的逻辑仿真在验证中仍然起着举足轻 ...
- 分享 验证的计划篇之三： 计划的实现
- 一份细致的验证计划会包括详细的项目动向、更新和进度，面对人员总是保持紧张的窘境，只有清晰的计划才能够合理运用人力资源，保证时间和人力的平衡。在上一篇计划的内容中，我们列举出了诸多项目中不稳定的因素，这就使得 验证计划需要时常保持更新，给出合理的安排，这样的过程就蕴含着从计划到实践再到反馈，最后再进行 ...
- 分享 验证的计划篇之二： 计划的内容
- 在制定验证计划的具体过程中，我们会将 技术部分 和 项目部分 都考虑进来。 从技术角度而言，我们需要考虑的有验证的功能点、验证的层次、测试用例、验证方法和覆盖率要求，从项目部分来看，我们也需要考虑使用的工具、人力安排、进度安排和风险评估。 接下来，我们逐个分析技术部分和项目部分。 技术部分 验证 ...
- 分享 验证的计划篇之一：计划的概述
- 在选择验证方法和构建验证环境之前，我们首先需要清楚验证计划是什么。 在展开设计之前，设计人员和验证人员都会阅读功能描述文档，以理解设计的各项功能为前提，来考虑如何验证它。如果功能描述本身不清晰，则需要同系统人员沟通来修改功能描述文档；如果设计和验证双方人员对于某一项功能理解有不同的地方，也需要最后 ...
- 分享 串并行接口的参数化可复用抖动（jitter）模型
- 抖动是指信号相对于其时间理想位置发生的短暂变化，可能会造成数据接收模块接收到错误的数据。在验证串行或并行接口数据传输时，很有必要模拟这种抖动。 串行通信时，很多情况下时钟并不和数据一起发送。这样做可以减少引脚数，进而降低封装成本。当然这样的话，当数据被接收时，要从数据中恢复得到时钟信号。模拟链路上 ...
- 分享 哪一种验证方法最好？形式验证、硬件加速还是动态仿真？
- 关于最佳的验证方法，最近总能在各种文章中看到。这里希望以一些新的视角来看待这些问题。所以根据一些EDA公司代表对相关问题的回答，总结出本文。 受邀回答问题的代表有：SteveBailey，MentorGraphics公司新兴技术总监；DaveKelf，OneSpin解决方案营销副总裁；FrankSchirrmeister， ...
- 分享 还没有RTL？So easy！ 验证仍然Go！
- 一、引言 词汇解释（Fabric）： Fabric是一个简单的带缓冲的两端口开关。每个通信路径包含5个信道，每个信道不是Ready信道就是Valid信道，它们都类似于AMBA®AXI™信道。Fabric支持多事务,流水线和大型突发数据传输。它也支持按优先级传输。这是一个用SV写的模型。关联数组用于管理队列外 ...
- 分享 回归测试可以变得聪明一些吗？
- 对于我们SOC设计来讲，利用标准回归测试(如果我们改变了设计代码或者修复了一个bug，然后把所有的测试激励重新仿真，以确认两点∶ 解决了现有bug和没有引入新的bug，这种方法我们称为回归测试 )去检验我们所改变的一些设计代码是一种很受欢迎的方法，然而在实际应用中，很多时候它并不能很好的工作，会把我们的bug检测报告 ...
/1 
eetop公众号
创芯大讲堂
创芯人才网