在questasim中的SV验证步骤

验证前的准备

1.准备好设计文档DUT

2.编写并构建验证环境

验证环境包括三个大的内容：激励（stimulate）、监测（monitor）、检查（check）

里面根据功能又可以分为激励发生器、激励驱动、接受数据、检查数据等

各个模块一般是使用类来实现，通过接口连接，线程之间通过邮箱和旗语通信

环境中必须有reset，reset用来使得DUT和总线变成稳定状态

随机激励是根据时钟产生的随机化信号

---

当上面所有文档写好后，开始questasim仿真验证。

Questasim仿真操作

 

 

 

 

 

 

-----

本文来源与路科V0实验6，个人觉得非常详细，在此记录学习笔记