不好意思再問一個問題
題目上說 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
不太一樣
是我哪裡理解有問題嗎?