whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
experemental has joined #yosys
notgull has joined #yosys
experemental has quit [Read error: error:0A000119:SSL routines::decryption failed or bad record mac]
notgull has quit [Ping timeout: 264 seconds]
peepsalot has quit [Quit: Connection reset by peep]
peepsalot has joined #yosys
peepsalot has quit [Quit: Connection reset by peep]
peepsalot has joined #yosys
emeb_mac has quit [Quit: Leaving.]
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
notgull has joined #yosys
notgull has quit [Ping timeout: 276 seconds]
Zevv has joined #yosys
<Zevv> What is the reason the FSM opt will not do state machines where the state has an initial value?
<lofty> Zevv: from looking at stuff like issues #187 and #188, the FSM optimisations are not sound in the presence of initial values
<Zevv> right.
<lofty> "The framework only works if it can assume that the FSM is never in an invalid state, except before the reset signal is asserted, in which case it has undefined behavior before that."
<lofty> (from #187)
<Zevv> ok, that makes sense.
<Zevv> thanks.
markov_twain has quit [Quit: markov_twain]
cr1901 has quit [Quit: Leaving]
cr1901 has joined #yosys
emeb_mac has joined #yosys
cr1901 has quit [Remote host closed the connection]
notgull has joined #yosys
cr1901 has joined #yosys
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #yosys
notgull has quit [Ping timeout: 245 seconds]
notgull has joined #yosys
notgull has quit [Ping timeout: 260 seconds]
Zevv has left #yosys [thanks]
jn_ is now known as jn
darkling has quit [Ping timeout: 268 seconds]
darkling has joined #yosys
mewt has quit [Ping timeout: 260 seconds]
notgull has joined #yosys
experemental has joined #yosys
notgull has quit [Ping timeout: 264 seconds]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
philtor has joined #yosys