ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
<corecode> i think there is an optimization missing that will merge the arithmetic and mux?
<corecode> it's odd tho
GenTooMan has quit [Ping timeout: 250 seconds]
<corecode> does it work with a generic synthesis?
<corecode> ah no, that's not it
<corecode> uh this is a tricky clever problem
gsmecher has quit [Ping timeout: 240 seconds]
emeb_mac has quit [Ping timeout: 240 seconds]
GenTooMan has joined #yosys
GenTooMan has quit [Excess Flood]
GenTooMan has joined #yosys
emeb_mac has joined #yosys
emeb_mac has quit [Ping timeout: 252 seconds]
emeb_mac has joined #yosys
lansiir has joined #yosys
oldtopman has quit [Read error: Connection reset by peer]
peepsalot has quit [Read error: Connection reset by peer]
peepsalot has joined #yosys
peeps[zen] has joined #yosys
peepsalot has quit [Ping timeout: 250 seconds]
FabM has joined #yosys
FabM has quit [Changing host]
FabM has joined #yosys
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
peeps[zen] has quit [Read error: Connection reset by peer]
emeb_mac has quit [Quit: Leaving.]
Lord_Nightmare has joined #yosys
tmiw has quit [Ping timeout: 258 seconds]
GenTooMan has quit [Ping timeout: 250 seconds]
tmiw has joined #yosys
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #yosys
GenTooMan has joined #yosys
vidbina has joined #yosys
GenTooMan has quit [Ping timeout: 250 seconds]
GenTooMan has joined #yosys
mwk has quit [Ping timeout: 252 seconds]
peepsalot has joined #yosys
mwk has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
mwk has quit [Ping timeout: 240 seconds]
mwk has joined #yosys
scientes has quit [Ping timeout: 252 seconds]
scientes has joined #yosys
vidbina has joined #yosys
<piegames> Formal question here: I know that the solver will try to reach every `cover` statement one at a time, independently. Is there a way to make this a "search for all combinations"?
<piegames> Because I want to cover different operations, but I also want that any of these operations can work with pipeline backpressurce & other corner cases
<mwk> not that I know of; best you can do is to use generate-for to make writing all the combinations less tedious I guess
emeb_mac has joined #yosys
eater has quit [*.net *.split]
vup has quit [*.net *.split]
kristianpaul has quit [*.net *.split]
indy has quit [*.net *.split]
lkcl has quit [*.net *.split]
mithro has quit [*.net *.split]
sm2n has quit [*.net *.split]
dys has quit [*.net *.split]
anticw_ has quit [*.net *.split]
killjoy has quit [*.net *.split]
vup has joined #yosys
eater has joined #yosys
indy has joined #yosys
kristianpaul has joined #yosys
sm2n has joined #yosys
lkcl has joined #yosys
dys has joined #yosys
anticw_ has joined #yosys
killjoy has joined #yosys
mithro has joined #yosys
vidbina has quit [Ping timeout: 252 seconds]
TD--Linux is now known as TD-Linux
emeb_mac has quit [Quit: Leaving.]
msh_ has joined #yosys
msh has quit [Read error: Connection reset by peer]
vidbina has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
GenTooMan has quit [Ping timeout: 250 seconds]
GenTooMan has joined #yosys
FabM has quit [Ping timeout: 240 seconds]
gsmecher has joined #yosys
lansiir has quit [Read error: Connection reset by peer]
oldtopman has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
FabM has joined #yosys
GenTooMan has quit [Ping timeout: 250 seconds]
GenTooMan has joined #yosys
vidbina has joined #yosys
FabM has quit [Remote host closed the connection]
GenTooMan has quit [Ping timeout: 250 seconds]
GenTooMan has joined #yosys
GenTooMan has quit [Ping timeout: 250 seconds]
GenTooMan has joined #yosys
GenTooMan has quit [Ping timeout: 240 seconds]
gatecat has quit []
gatecat has joined #yosys
freemint has joined #yosys
philtom is now known as philtor
freemint has quit [Ping timeout: 252 seconds]
freemint has joined #yosys
vidbina has quit [Ping timeout: 250 seconds]
emeb_mac has joined #yosys
GenTooMan has joined #yosys