热度 10| |||
•测试平台模仿测试仪的行为:
•在有效时钟边沿或时钟边沿之后驱动数据,在有效时钟边沿之前尽可能晚采样;
•测试平台使用非阻塞赋值以减少与rtl的竞争;
•主要调度区域:
•Active——执行rtl代码
•Inactive——#0
•NBA——nonblocking assignment update
•Observed——执行断言property expressions
例如:
执行结果:
event.triggered只会保持一个time_slot;
Event的触发和@都在active区发生,而triggered在Observed发生;