| |||
验证环境搭建中记录:
1. 定义二维队列:Q[$][$]
关于二维队列入队的规则:如果Q[0][$] 曾经没有过入队 push_back 操作,则期之后的Q[1][$] 则无法push_back 成功。
2. 关于TC 的超时结束机制
在验证过程中,如果因为RTL ,或者验证环境的问题 用例可能会被挂死,此时如何来结束这个用例呢?
本次用到的方法是: 选定一个表征数据传输的关键控制信号,如果该信号在一定时间内没有变化,则可以认定电路已经处于“不动弹”的状态,此时测试即可结束了。