SV验证--接口的使用

1. 阻塞赋值和非阻塞赋值，driver中给接口赋值是在时钟块内所以非阻塞赋值。如果由一个模块驱动，可以使用阻塞赋值。
2. 确保在模块和程序块之外声明接口变量，包括virtual。但是modport只需要在模块首部声明，而在顶层模块例化不需要指明。
3. 一般接口都使用logic，驱动异步信号只能是logic；wire只能被连续赋值驱动。
4. wait和@：前者没有任何延时，后者等有效时钟沿。
5. 隐式端口连接（.*），自动连接端口到具体信号。
6. 必须完成接口的连接，才能被编译。
7. 构造函数的参数也要写全，virtual，modport。
8. 接口中也可以使用initial，always和断言来执行子程序。
9. 只有通过虚接口，才可以桥接动态对象和静态模块，接口。在test 程序中，创建虚接口，传递到driver和monitor类里面，可以直接在端口列表写明。