日志
- 分享 SV系统集成篇之二：验证环境的组装
- 文章结构： 采取硬件还是软件封装？ 软件的结构问题 例化阶段 连接 测试向量产生 Verifier董在将建筑材料打包（package）好运进施工场地以后，就准备着手开始搭建了。搭建之前，他又给我抛出了几个问题： 路桑，我应该使用硬件的方式（module）来封装环境，还是软件的方式（class）来实现呢？ 从复用 ...
- 分享 SV系统集成篇之一：包的意义
- 从上一篇《SV组件实现篇》来看，verifier梅、尤、娄和董四位验证师已经做完了模块验证，进而转向了验证环境的集成和验证环节。由于verifier董负责验证环境的持续集成，路桑跟他做了一次交谈，问了问这位新手面临哪些困境。 路桑： 董亲，大家的模块验证环境都已经准备好了是吗？ Verifier董：是啊。准备倒是准备好 ...
- 分享 SV组件实现篇之七（终）：测试环境的报告规范
- 文章结构： 通过一种标准化的方式打印信息 过滤（重要级别）信息 打印通道 在之前的介绍中，读者从四位verifier的验证组件实现中懂得了通过类和封装和数据随机化来实现stimulator、monitor和checker，而在这三个组件中间的信息输出也是无时不在的。伴随着验证组件的增多（横向的）和验证层次的加深（纵向的） ...
- 分享 SV组件实现篇之六：比较器和参考模型
- 在同之前的verifier梅、尤、董完成了slave、arbiter和registers的模块验证之后，我们需要看看最后一位verifier娄是如何完成arbiter验证的。Verifier娄也依照之前的验证步骤，给出了arbiter的验证框图： 在实现了stimulator和monitor之后，就进入了数据比对和功能检查的环节了。在开始考虑实现checker之前，我们先来 ...
- 分享 SV组件实现篇之五：组件间的通信
- 文章结构： 线程间通信的需求 event（事件） semaphore（旗语） mailbox（信箱） 三要素的异同，以及同其它通信方式的比较 实际的应用场景 组件之间通信的方式，monitor到checker的方式 如果将硬件模块理解为一个个运行的程序的话，那么它们内部的各个过程语句块（always块）即是多个一开始在0时刻就运 ...
- 分享 SV断言在测试激励中的应用
- 在我们平常的验证过程中，有这样的一种问题存在 :一个测试激励根本没有测试到我们期望的测试点，但是在仿真的过程中也没有出现严重的错误，从头到尾仿真正常的结束 ，那么我们一般会认为它仿真通过了，在我们收集覆盖率之前我们一般不会发现它其实根本什么都没有做，只是假装仿真通过，今天我们介绍一种克服这种问题的办法 ...
- 分享 UVM验证环境中使用Matlab-Simulink模型进行协同仿真
- 1.简介 Linux 系统依靠多核计算可以并行执行多个测试场景、帮助减少仿真时间。然而用行为模型去验证一个设计的过程仍然是一个连续不间断的仿真过程，并且需要在两种仿真结果之间进行单独的比对处理。验证过程中需要生成测试场景以及由精确的行为模型如 C/C+ 或者 Matlab 计算处 ...
- 分享 一种SoC连接性验证方法
- 我们现在的SoC设计中，常需要集成来自第三方供应商的IP模块和芯片级的内部设计。有时，这些IP块通过标准化接口协议直接连接到其他模块或互连结构，但也有不按照标准接口协议连接的情况，这时IP块连接还需要添加一些粘合逻辑。模块接口和I / Opad之间也总是有一些粘合逻辑。所有这些连接也都需要我们彻底的验证。 ...
- 分享 一种SOC寄存器映射验证方法
- 如今的SoC设计中，IP中的寄存器等设计组件的数量和复杂性不断增长，关于CSRs（control and status registers）的问题在当今的SoC设计中相当普遍，无法正确地控制或接收这些组件的状态可能导致严重的问题。 工程师们常使用基于仿真的方法来验证CSR功能，但是这种方法并不理想，因为它们不能完全穷尽所有可能。能有一个自动 ...
- 分享 多域验证：（电源域，时钟域，复位域）
- 许多新的SoC设计必须集成很多功能并消耗非常低的功耗，即设计可能会有很多时钟域，电源域和复位域。例如，我们最近分析的一个设计具有接近20个电源域，超过200个时钟域和最多32个复位域。标准验证工具和方法没有提供可靠的方法来分析不同的域并全面验证其互操作性。因此，开发多域验证（MDV）以解决这一领域的挑战很有意义 ...
/1 
eetop公众号
创芯大讲堂
创芯人才网