前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >分而治之(Hierarchical Sequences),处理复杂事物的绝对准则

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

作者头像
AsicWonder
发布2021-05-11 14:59:38
4380
发布2021-05-11 14:59:38
举报

上帝说这世界上的东西都太复杂,于是就有了分层,让专业的“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)以及不同的读写之间延时,就可以覆盖所有我们想要实现的读写场景。

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2021-05-01,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 数字芯片实验室 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档