[DV] register中*_mask_clr and *_mask_set 的验证思路

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接： https://blog.csdn.net/lbt_dvshare/article/details/102741723

在验证IP中时，总会遇到 irq register ,对于有些irq 如果SW 不想看可以mask，所以与irq相关的register就会包括 irq status,irq status mask ,而mask register会分为两种：mask_set, mask_clr. 对于这两种register 的验证思路有哪些呢？

• mask_set = 1 check status 是否被mask；
• mask_set = 1 -> (等一段时间) mask_set = 1 ;
• mask_clr = 1  check status 是否被mask；
• mask_set = 1 -> (等一段时间) mask_set = 0；此时应该mask仍然生效 
• mask_set = 1 -> (等一段时间) mask_set = $urandom_range(0,1) -> mask_clr = 1；
• mask_set = 1 -> (等一段时间) mask_set = $urandom_range(0,1) -> mask_clr = 1 -> mask_clr = $urandom_range(0,1) ；
• mask_clr = 1 -> (等一段时间)mask_set = 1 -> (等一段时间) mask_set = $urandom_range(0,1) -> mask_clr = 1 -> mask_clr = $urandom_range(0,1) ；

最后一条是一条比较完整的sequence，把基本情况都能验到。