[問題] Counter Example

看板 Giee_Soc_V
時間
留言 0
不好意思再問一個問題 題目上說 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 不太一樣 是我哪裡理解有問題嗎? --
看更多 hschiang 的文章,或回到 GIEE_SoC_V 看板