[DV] register中*_mask_clr and *_mask_set 的驗證思路

在驗證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，把基本情況都能驗到。