EEPW论坛

如标题所示，flag相关的信号该怎么验证好呢，比如说状态寄存器里面有一些表示sum求和大于某个值之后拉起来的flag，一般用断言检查，用断言的话，就不可避免的去看设计代码，然后用设计代码中的其他相关信号去检查这个flag，但是这样做又有如下两个问题：

1.我检查的思路很容易被设计代码影响，导致检查的思路和设计差不多，发现不了问题

2.我用来检查flag的信号也是设计代码中的，如果这些信号出错，且这些信号属于中间信号，又且这些信号出错不会导致其他问题，只会导致flag问题，同样也发现不了flag的问题

3.还有一个比较尴尬的问题是，设计代码中，这个flag是一大堆信号有效之后拉起来flag，我想不到更好的办法，检查的时候就是把这一大堆信号拉出来，等他们都有效，就去检查flag是否拉起来了，这不是自己检查自己嘛，肯定发现不了问题的。

大家给提提建议