clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
sklv has quit [Ping timeout: 272 seconds]
sklv has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
ssb has joined #yosys
m_w has joined #yosys
pie_ has joined #yosys
m_w has quit [Ping timeout: 272 seconds]
m_w has joined #yosys
digshadow has quit [Ping timeout: 256 seconds]
pie_ has quit [Ping timeout: 240 seconds]
digshadow has joined #yosys
pie_ has joined #yosys
pie_ has quit [Ping timeout: 272 seconds]
pie_ has joined #yosys
leviathanch has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
m_w has quit [Quit: leaving]
ravenexp has quit [Ping timeout: 264 seconds]
ravenexp has joined #yosys
proteusguy has quit [Remote host closed the connection]
nrossi has joined #yosys
dys has joined #yosys
m_t has joined #yosys
fouric has quit [Ping timeout: 260 seconds]
fouric has joined #yosys
leviathanch has quit [Remote host closed the connection]
quigonjinn has quit [Ping timeout: 268 seconds]
aw- has joined #yosys
leviathanch has joined #yosys
proteusguy has joined #yosys
proteus-guy has quit [Ping timeout: 248 seconds]
sklv has quit [Quit: quit]
<promach> For http://www.clifford.at/papers/2016/yosys-smtbmc/slides.pdf#page=22 , why reduce induction length ?
kuldeep has quit [Ping timeout: 263 seconds]
aw- has quit [Quit: Leaving.]
kuldeep has joined #yosys
aw- has joined #yosys
quigonjinn has joined #yosys
m_t has quit [Quit: Leaving]
eduardo_ has joined #yosys
sklv has joined #yosys
digshadow has quit [Quit: Leaving.]
digshadow has joined #yosys
leviathanch has quit [Ping timeout: 256 seconds]
dys has quit [Ping timeout: 240 seconds]
leviathanch has joined #yosys
dys has joined #yosys
proteus-guy has joined #yosys
digshadow has quit [Ping timeout: 248 seconds]
aw- has quit [Quit: Leaving.]
m_t has joined #yosys
digshadow has joined #yosys
leviathanch has quit [Read error: Connection reset by peer]
leviathanch has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
leviathanch has quit [Read error: Connection reset by peer]
leviathanch has joined #yosys
pie_ has quit [Ping timeout: 248 seconds]
nrossi has quit [Quit: Connection closed for inactivity]
AlexDaniel has quit [Remote host closed the connection]
AlexDaniel has joined #yosys
gnufan has joined #yosys
dys has quit [Ping timeout: 240 seconds]
pie_ has joined #yosys
m_t has quit [Quit: Leaving]
dys has joined #yosys
pie_ has quit [Ping timeout: 265 seconds]
leviathanch has quit [Remote host closed the connection]