thought about verification

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