thought about verification

本文探讨了在EDA验证中采用抽象方法的重要性,并提出了一种针对环境搭建的通用模板思路。文章强调了验证工作的高度抽象特性,同时指出了在归一化过程中保持灵活性和通用性的关键实践。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

抽象通常是提高和简化的常用方法。常用的低级做法是将通用的东西整合,归一化。而对于EDA验证来讲,由于仿真和结果收集的问题都较好的交给了EDA工具。而留下来的剩下方案规划,测试点,环境搭建以及问题定位。对于方案、测试点来讲考虑更多的是方法,流程。这里可以对于输出结果例如模板之类有个标准规定。而方法可以各花入各眼,各自考虑。而对于环境搭建来讲,能否提取出一个通用的环境模板出来?首先,大家的整体架构都是类似。这点已经能较好的归一化处理。但是对于各个项目来讲,还是由比较多的通用可以提取的东西。例如scoreboard的比对,二次重配,异常采样和吐包机制。当然在归一化的同时不可避免的会引入一个风险过大的问题。除了检视之外还可以加强大家思想的碰撞。而关于RM具体实现方式自然是各自天马行空,但是需要注意的是一个原则,验证是高度抽象的东西,如果需要退化到和RTL描述类似的情况,还不如不做。因为基于这个层次考虑的问题基本和设计人员考虑问题的角度和层次就类似了。第二个原则是通用性和可读性。通用性需要将能参数化的东西全部参数化,以及较好的对各个类进行封装。而可读性需要较好的做好注释工作。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值