FIFO Generator v4.3 – 为什么可编程Full assert值不等于Full negate值？

描述

（UG 175）规定，完整的断言值必须大于完全否定值。

在我的例子中，如果完整的断言值是1024而不是完全否定值将是1023。

当FIFO中的条目数大于或等于断言值时，PROG_FULL被置位。

当FIFO中的条目数小于否定值时，PROG_FULL置为无效。

这意味着在FIFO中当条目数大于或等于1024时，PROG_FULL被置位。

但是，完全否定值为1023，并且当否定值为1022时，PROG_FULL仅置为无效。

为什么PROG_FULL在1023没有被断言，而是等待再多一次？

我希望当FIFO中的条目数等于否定值时，PROG_FULL应该被置为无效，或者FULL断言和否定应该具有相同的值。

解

如果否定值与断言值相同，则它与具有单个阈值的值相同。

可以通过使用单个阈值可编程标志值来实现上述预期行为。

设置完整的断言和完全否定规则，因为它们允许使用单个阈值无法实现的不同行为。