利用VMM建立基于事务的层次化验证平台

文章摘要：fifo_chk继承自 VMM的基类 vmm_xactor，用来检查事务是否正确得到执行。具体是将监视器传来的信息与记分板传来的预测结果进行比较以判断待测功能的正确性。(8) 计分板 fifo_scb计分板继承自 VMM的基类 vmm_xactor，用来对输入激励产生预测响应，并对已发生的事务进行纪录与统计，比如总共进行了多少个读事务或写事务，哪些已经完成，哪些被挂起，哪条事务正确的得到执行，哪条事务执行过程中出错了等等。(9) 断言 assertions 断言用来检验 FIFO的违例情况，如在满的情况下写 FIFO，空的情况下读 FIFO等，这些可以通过断言检查出来。以上介绍的验证组件组成的

利用VMM建立基于事务的层次化验证平台,标签：eda技术,eda技术实用教程,http://www.88dzw.com

　　fifo_chk继承自 VMM的基类 vmm_xactor，用来检查事务是否正确得到执行。具体是将监视器传来的信息与记分板传来的预测结果进行比较以判断待测功能的正确性。

　　(8) 计分板 fifo_scb

　　计分板继承自 VMM的基类 vmm_xactor，用来对输入激励产生预测响应，并对已发生的事务进行纪录与统计，比如总共进行了多少个读事务或写事务，哪些已经完成，哪些被挂起，哪条事务正确的得到执行，哪条事务执行过程中出错了等等。

　　(9) 断言 assertions 断言用来检验 FIFO的违例情况，如在满的情况下写 FIFO，空的情况下读 FIFO等，这些可以通过断言检查出来。以上介绍的验证组件组成的验证平台的框架可用图 3表示如下 :

　　顶层模块 tb_top由 DUT、测试程序 (program)、接口与时钟发生器组成。测试程序中例化了验证环境 fifo_env，验证环境将所有必需的事务处理器进行例化，测试案例只用程序(program)块中的一个 initial块来实现，这样做可以避免设计、断言和验证环境出现竞争冒险，并且只使用一个 initial块使得测试案例的执行是单线程的，这样可以更容易的理解所要完成的测试案例的每个步骤。

　　4 总结

　　在越来越高的抽象层次上进行验证是历史不断发展的趋势。本文以 FIFO验证平台为例运用面向对象的思想介绍了怎样利用VMM验证方法学建立基于事务的层次化验证平台，简单介绍了每个层次验证组件的功能与实现，给出了总的验证平台的框架。该验证平台具有很高的重用性，增强了程序可读性，降低了验证平台的维护成本、体现了VMM验证方法学的优越性。

　　本文作者创新点: 提出利用 VMM建立基于事务的分层式验证平台的思想。

上一页  [1] [2] [3]