clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
ZipCPU|Laptop has quit [Ping timeout: 268 seconds]
pie_ has quit [Ping timeout: 248 seconds]
ZipCPU|Laptop has joined #yosys
<rqou> awygle: "although the signal-to-noise is worse in some ways" <-- hey, that's mean!
<awygle> rqou: but is it tho?
_whitelogger has joined #yosys
dys has quit [Ping timeout: 248 seconds]
proteusguy has joined #yosys
proteus-guy has quit [Ping timeout: 240 seconds]
leviathanch has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
dys has joined #yosys
eduardo__ has joined #yosys
eduardo_ has quit [Ping timeout: 256 seconds]
ZipCPU|Laptop has quit [Quit: Warp drive ready at your command, Captain!]
indy has quit [Ping timeout: 246 seconds]
pie_ has joined #yosys
pie__ has joined #yosys
indy has joined #yosys
m_t has joined #yosys
pie_ has quit [Ping timeout: 260 seconds]
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
sklv has quit [Ping timeout: 255 seconds]
sklv has joined #yosys
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
m_t has quit [Quit: Leaving]
_whitelogger has joined #yosys
nrossi has joined #yosys
<promach> I have already added so many assert() at https://github.com/promach/UART/blob/development/rtl/test_UART.v , but yosys-smtbmc leads me straight to https://i.imgur.com/GNUAl7z.png which is the second last state during UART receiving mechanism ?
<promach> I am not sure what assert() I should add. Could anyone advise ?
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
pie__ has quit [Ping timeout: 240 seconds]
pie_ has joined #yosys
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
pie__ has joined #yosys
pie_ has quit [Ping timeout: 246 seconds]
pie__ has quit [Ping timeout: 264 seconds]
pie_ has joined #yosys
leviathanch has quit [Read error: Connection reset by peer]
leviathanch has joined #yosys
m_t has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
dys has quit [Ping timeout: 256 seconds]
pie__ has joined #yosys
dys has joined #yosys
pie_ has quit [Ping timeout: 248 seconds]
digshadow has quit [Ping timeout: 240 seconds]
pie__ has quit [Ping timeout: 260 seconds]
pie__ has joined #yosys
nrossi has quit [Quit: Connection closed for inactivity]
leviathanch has quit [Remote host closed the connection]
m_t has quit [Quit: Leaving]
nrossi has joined #yosys