不好意思再问一个问题
题目上说 property violate 时要印counter example
可是格式看不太懂
是要把所有会让_reachStates&monitor为真的input + state都列出来吧
可是
ref program 执行Traffic.dofile 的结果
却是连续输出43个1
0:1
1:1
.
.
.
42:1
好像和题目上写的
0: 1'b0 4'b0000
1: 1'b0 4'b0001
2: 1'b1 4'b1010
不太一样
是我哪里理解有问题吗?