<promach_>
does cover() work even in "multiclock on" condition ?
<ZipCPU>
promach_: Yes.
<promach_>
hmm
<promach_>
ZipCPU: strange, I saw !tx_clk in multiclock induction counterexample trace
<promach_>
but cover(!tx_clk) failed ....
<ZipCPU>
Yes.
<ZipCPU>
Suppose you try this: create a counter based upon $global_clock. cover the result of that counter equaling 20, and so take a peek at what's going on.
<promach_>
that is good approach. Let me do it
<promach_>
ZipCPU: the cover() failed because of code outside of the fractional clock divider, it seems
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
_whitelogger has joined #yosys
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
azonenberg_work has quit [Ping timeout: 272 seconds]
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
azonenberg_work has joined #yosys
<promach_>
ZipCPU: "mode prove" looks easier compared to "mode cover" now
emeb has quit [Quit: Leaving.]
<promach_>
ZipCPU: now both "mode prove" and "mode cover" had passed under "multiclock on" condition
<promach_>
induction passed using only 38 timesteps
<promach_>
but I am still not quite sure abou this
promach_ has quit [Quit: WeeChat 2.2]
emeb_mac has quit [Quit: Leaving.]
emeb_mac has joined #yosys
emeb_mac has quit [Client Quit]
azonenberg_work has quit [Ping timeout: 240 seconds]
kuldeep has quit [Ping timeout: 245 seconds]
kuldeep has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
maikmerten has joined #yosys
[X-Scale] has joined #yosys
X-Scale has quit [Ping timeout: 252 seconds]
[X-Scale] is now known as X-Scale
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
_whitelogger has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
lutsabound has joined #yosys
maikmerten has quit [Remote host closed the connection]
emeb has joined #yosys
promach_ has quit [Ping timeout: 246 seconds]
azonenberg_work has joined #yosys
fsasm has joined #yosys
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
lutsabound has quit [Quit: Connection closed for inactivity]
kuldeep has quit [Ping timeout: 245 seconds]
kuldeep has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
fsasm has quit [Ping timeout: 246 seconds]
lutsabound has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
zino has quit [Quit: Leaving]
zino has joined #yosys
danieljabailey has quit [Quit: ZNC 1.6.5+deb2build2 - http://znc.in]