首页
学习
活动
专区
圈层
工具
发布
36 篇文章
1
形式验证与formality基本流程
2
安全地启动sequence
3
【UVM COOKBOOK】Testbench Architecture【二】
4
【UVM COOKBOOK】Testbench Architecture【一】
5
svlib文档翻译(第一至四章)
6
svlib文档翻译(第五章)
7
浅谈便携式激励(PSS)和UVM
8
便携式激励vs形式化vsUVM验证方法在IP块的整个生命周期中的比较分析
9
通过字符串访问generate模块内部的变量
10
Verilog:笔试面试常考易错点整理
11
【源码】手把手教你用Python实现Vivado和ModelSim仿真自动化
12
如何快速生成Verilog代码文件列表?(内附开源C代码)
13
IC工程师的通用技能:文本处理
14
NCVerilog+SimVision+Vivado仿真环境搭建
15
串扰
16
论STA | 数字电路中的串扰
17
STA | 串扰,理论分析
18
低功耗 | UPF + CLP
19
combinational clock gating Vs sequential clock gating
20
Clock Domain Crossing, 跨时钟域检查
21
低功耗 | Glitch Power 分析
22
P&R | 如何在实现全流程中考虑IR-Drop
23
点论 | 组合逻辑环 Combinational loop 知多少
24
UVM的一个简单验证demo
25
systemverilog之Automatic
26
【手把手系列】:芯片设计中的Makefile简明教程
27
“ 一网打尽 ” 二进制、格雷码、独热码编码方式
28
分而治之(Hierarchical Sequences),处理复杂事物的绝对准则
29
断言(assertion),把黑盒变成白盒
30
针对assertion based验证的一些“建议”和“不建议”
31
python脚本练习(5):读写文件步骤
32
python脚本练习(4):正则表达式实例
33
python脚本练习(3):正则表达式实例
34
python脚本练习(2):使用正则表达式的三部曲
35
python脚本练习(1):表格打印
36
VCS门级仿真系列文章之sdf文件和$sdf_annotate

分而治之(Hierarchical Sequences),处理复杂事物的绝对准则

上帝说这世界上的东西都太复杂,于是就有了分层,让专业的“Task”做专业的事情。

针对数字IC验证复杂的输入场景也是一样,也需要分而治之

上面是2012 年,Mentor针对功能验证的一个研究结果,我们目前功能验证的绝大部分时间都花费在了Debug(DUT的bug/验证环境的bug/测试用例的bug)。

而在UVM验证环境中最复杂的就是不同场景的激励生成,所以对sequence的控制会决定测试用例构造和仿真调试的难易程度。让验证工程师的生活更美好,必须要擅长处理复杂场景的验证环境搭建。

类似于自动挡汽车的驾驶流程,简单的操作即可驱车前进,原因就是在汽车内部这些简单的命令被转换为较小的任务。这里的任务也可以分为“需要变化的”“不需要变化”

很自然的,在我们日常生活中,需要变化的或者说需要配置的参数仅仅是速度和方向而已。自动驾驶需要解决的就是在大多数使用场景下不需要再手动配置速度和方向参数,同时在特殊场景下提供手动再配置的开关。

再回到“层次化sequences”的话题,如下图所示:

将sequences分为四层,最底层就是各个driver需要处理的最基本的事务。S3、S2和S1就是前文提到的“分而治之”,以产生各种需要的激励,层次越多控制就越精细。其中,根据实际应用场景的输入约束,这些sequence之间可能是顺序的,也可能是并行的。

假设seq A代表速度控制,seq B 代表车灯控制,seq C代表方向控制。那么在一般的使用场景下,只需要继承一个test_base,然后再使用factory机制override或者config seq A/seq B/seq C即可,所以层次化的sequences也提供良好的代码重用,降低验证用例出错的概率。

以简单的APB slave为例,两个最基本的base sequence 就是 AHB_BASE_WRITEAHB_BASE_READ. 基于这两个base sequence,可以建立循环N次的读写sequence, AHB_LOOP_WRITE AHB_LOOP_READ。基于循环sequence,还可以建立背靠背循环读写sequence(连续写N次,再连续读N次), WRITE_FOLLOWED_BY_READ

最后,在不同的测试用例里面可以继承这个WRITE_FOLLOWED_BY_READ sequence,通过配置不同的写次数(N),不同的读次数(X)以及不同的读写之间延时,就可以覆盖所有我们想要实现的读写场景。

下一篇
举报
领券