08:11 <savorel> Howdy, I am wondering if it is ok to include symbiflow in my thesis

08:12 <savorel> Like have chapter explaining the terminology and how I used it

08:16 <sf-slack> <tmichalak> savorel: that would be great. The more people share their stories of how and where they have used SymbiFlow the better. Can you say more about the use case? Is it somewhere on github?

08:19 <savorel> No it is not on github but I hope it will be after/if we get a publication

08:19 <savorel> @tmi

08:19 <savorel> tmichalak

08:20 <savorel> Also is there any oficial bibtex reference for the project ??

08:26 <sf-slack> <tmichalak> I am not sure if there is

08:27 <savorel> I can make one then, and put the website link

08:28 <sf-slack> <tmichalak> Sounds fine

08:29 <savorel> Nice, thank you!

17:19 <mithro> https://github.com/rodrigomelo9/yosys-versus

17:19 <tpb> Title: GitHub - rodrigomelo9/yosys-versus: a project to check the FOSS synthesizer against vendors EDA tools (at github.com)

22:49 <lambda> daveshah: something between yosys 9b982e92 (still good) and b86905d9 (bad) makes router2 in nextpnr-xilinx choke on my design - it already starts out quite slow and then bottoms out somewhere around overuse=250. here's the broken netlist, I can give you a working one of the same design tomorrow if you need it: https://misc.xiretza.xyz/repro/routing_stall_b86905d95.tar.gz

22:51 <lambda> (note: I haven't tried latest yosys yet)