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]