计数器条件可在双向或三向分支条件语句中使用。每个计数器条件都占用 1 个计数器比较器。
重要： 每个计数器仅含 1 个计数器比较器。这意味着，在整个触发器状态机程序中，每个特定计数器在任一计数器条件中只能使用一次。
探针端口条件由 1 个比较运算符和 1 个值组成。有效的探针条件比较运算符包括：
- ==（等于）
- !=（不等于）重要： 每个计数器位宽始终为 16 位。
有效的计数器条件值示例如下：
- 16 位二进制值 0
16'b0000_0000_0000_0000 16'b0000000000000000 - 16 位十六进制值 7A
16'h007A - 16 位整数值 123
16'u123
计数器条件语句示例：
- 计数器 $counter0 等于二进制 0
($counter0 == 16'b0000000000000000) - 计数器 $counter2 不等于十进制 23
($counter2 != 16'u23)