关于中断和fault的验证

[导读]对于一个DUT怎么去验证它在fault情况下的响应？比如在transaction中有fault信息时，DUT理想的行为是对某一寄存器置位。对于寄存器的检查应该放在哪一个位置呢？中断验证的一个难点，项目中一般对中断的要求就是出现错误时:1、中断要能上报出去2、第一个中断info能够...

对于一个DUT怎么去验证它在fault情况下的响应？比如在transaction中有fault信息时，DUT理想的行为是对某一寄存器置位。对于寄存器的检查应该放在哪一个位置呢？

中断验证的一个难点，项目中一般对中断的要求就是出现错误时:

1、中断要能上报出去

2、第一个中断info能够记录下来

3、有中断计数的，中断计数准确。

所以我们在验证中断的时候，一般分两个步骤：

一是中断上报单独验证，这个和具体的功能无关，只验中断的上报和掩码相关的功能。

二是具体和功能相关的，在TC中构造异常激励，环境同步预期，只在仿真结束的时候，去检查中断状态、中断info和中断计数，就可以了。

中断的验证，还包括中断的读清操作，因为有的RTL会将中断源错误地做成电平信号，导致中断无法读清的错误。