標題

[問題] Counter Example

作者 hschiang
看板 GIEE_SoC_V
時間 04-20
不好意思再問一個問題 題目上說 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 不太一樣 是我哪裡理解有問題嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.250.154

討論串

標題 作者 日期 留言數量
>> [問題] Counter Example hschiang 2013-04-20T23:30:53 0
Re: [問題] Counter Example keyboardle 2013-04-21T05:30:46 1