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
Forty-Bot has joined #yosys
<Forty-Bot> are initial statements synthesizable?
<Forty-Bot> I'm seeing some post-synthesis mismatches
GenTooMan has quit [Ping timeout: 252 seconds]
GenTooMan has joined #yosys
Knarfian_____ has quit [Ping timeout: 264 seconds]
Knarfian_____ has joined #yosys
FL4SHK has quit [Ping timeout: 245 seconds]
FL4SHK has joined #yosys
cr1901 has quit [Ping timeout: 255 seconds]
vidbina has joined #yosys
FabM has joined #yosys
FabM has joined #yosys
cr1901 has joined #yosys
cr1901_ has joined #yosys
cr1901 has quit [Read error: Connection reset by peer]
vidbina has quit [Ping timeout: 252 seconds]
<lofty> Forty-Bot: initial statements are generally treated as initialisation values
mwk has quit [Ping timeout: 244 seconds]
vidbina has joined #yosys
mwk has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
mwk has quit [Remote host closed the connection]
mwk has joined #yosys
vidbina has joined #yosys
lumo_e has joined #yosys
cr1901_ is now known as cr1901
mwk has quit [Remote host closed the connection]
mwk has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
<rowang077[m]> Is there a possibility for doing a master thesis related to the open source tooling? Something that would be cool (And I'm sorely missing) is having proper timing constraints.
<rowang077[m]> Not sure whom I should contact
<tnt> probably gatecat / yosyshq.
<tnt> And most definitely things like cross clock constraints / io constraints would be great to have in nextpnr.
<gatecat> rowang077[m]: yeah, definitely, it's not going to be the easiest of masters but I'm happy to give plenty of help
<gatecat> do you want to dm me or email to gatecat@ds0.me with some more details? I'm supervising exams right now but I'll be around later in the evening
<gatecat> rowang077[m]: yeah, definitely, it's not going to be the easiest of masters but I'm happy to give plenty of help
<gatecat> sorry, having some weird IRC issues too, I hope that got through at all
vidbina has joined #yosys
FabM has quit [Quit: Leaving]
vidbina has quit [Ping timeout: 268 seconds]
<xiretza[m]> gatecat: looking good on this end
lumo_e has quit [Ping timeout: 252 seconds]
vidbina has joined #yosys
lumo_e has joined #yosys
GenTooMan has quit [Ping timeout: 244 seconds]
GenTooMan has joined #yosys
Forty-Bot has quit [Read error: Connection reset by peer]
vidbina has quit [Ping timeout: 252 seconds]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
lumo_e has quit [Quit: Quit]
GenTooMan has quit [Ping timeout: 244 seconds]
GenTooMan has joined #yosys