<awygle>
promach_: i wanted to make sure that parity and frame errors would be detected. otherwise i'd still pass verification even if i just said "assign frame_error_o = 1'b0".
<promach_>
awygle: but how are you going to pass verification if you do cover(error) ?
<awygle>
"cover" is like the opposite of BMC - if it's possible to reach the state, you pass. So you can do both cover(success) and cover(error) and satisfy both conditions
<awygle>
(with two different traces of course)
<awygle>
Try it and see - it will produce an example trace for 'valid', one for 'frame error' and one for 'parity error'
<promach_>
ok, awygle: I will do cover(error) as well then
<promach_>
so, what do you plan to do with the example trace for cover(error) ?
<awygle>
promach_: nothing, really. it's just an existence proof. the assert()s say "if a parity error is detected, it is detected correctly". the cover() says "a parity error can be detected".
<awygle>
you need both halves to really have confidence in what you're doing
<awygle>
does that make sense?
gnufan1 has joined #yosys
<promach_>
awygle: I need to think a bit about what you just said. existence proof for an example parity error trace ... means UART could have parity error ? that does not really give me confidence :(
<awygle>
promach_: it means that _if_ your UART _sees_ a parity error (from some other guy who wrote his UART transmitter half-drunk), it will _detect_ that parity error
gnufan has quit [Ping timeout: 248 seconds]
<promach_>
ok, haha. I see
proteus-guy has quit [Remote host closed the connection]
promach_ has quit [Ping timeout: 256 seconds]
jkiv has quit [Quit: Leaving]
proteus-guy has joined #yosys
promach_ has joined #yosys
promach_ has quit [Client Quit]
pie___ has quit [Remote host closed the connection]
pie___ has joined #yosys
leviathan has joined #yosys
leviathan has quit [Read error: Connection reset by peer]
leviathan has joined #yosys
emeb_mac has quit [Quit: emeb_mac]
dmin7 has joined #yosys
dmin7 has left #yosys [#yosys]
AlexDaniel has joined #yosys
proteus-guy has quit [Ping timeout: 240 seconds]
proteus-guy has joined #yosys
proteusguy has quit [Ping timeout: 256 seconds]
proteusguy has joined #yosys
gnufan1 has quit [Ping timeout: 268 seconds]
cemerick_ has joined #yosys
gnufan has joined #yosys
maartenBE has quit [Ping timeout: 245 seconds]
maartenBE has joined #yosys
m_t has joined #yosys
oldtopman has quit [Ping timeout: 276 seconds]
cemerick_ has quit [Ping timeout: 240 seconds]
dys has joined #yosys
oldtopman has joined #yosys
cemerick_ has joined #yosys
gnufan has quit [Quit: Leaving.]
m_t has quit [Quit: Leaving]
sklv has quit [Ping timeout: 255 seconds]
sklv has joined #yosys
maartenBE has quit [Ping timeout: 252 seconds]
cemerick_ has quit [Ping timeout: 240 seconds]
maartenBE has joined #yosys
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
fsasm_ has joined #yosys
emeb has joined #yosys
proteus-guy has quit [Remote host closed the connection]
proteus-guy has joined #yosys
eduardo_ has quit [Ping timeout: 240 seconds]
eduardo_ has joined #yosys
m_t has joined #yosys
emeb has quit [Quit: Leaving.]
xrexeon has joined #yosys
emeb_mac has joined #yosys
emeb_mac has quit [Quit: emeb_mac]
m_t has quit [Quit: Leaving]
xrexeon has quit [Ping timeout: 240 seconds]
dys has quit [Ping timeout: 256 seconds]
cemerick_ has joined #yosys
pie___ has quit [Ping timeout: 256 seconds]
pie___ has joined #yosys
emeb_mac has joined #yosys
cemerick has joined #yosys
cemerick_ has quit [Ping timeout: 256 seconds]
pie___ has quit [Ping timeout: 276 seconds]
cr1901_modern has quit [Ping timeout: 240 seconds]
pie___ has joined #yosys
cr1901_modern has joined #yosys
cemerick has quit [Ping timeout: 260 seconds]
leviathan has quit [Remote host closed the connection]