| *** tpb has joined #symbiflow | 00:00 | |
| *** proteus-guy has quit IRC | 00:21 | |
| *** Bertl_oO is now known as Bertl_zZ | 00:28 | |
| *** daniellimws27 has joined #symbiflow | 01:50 | |
| *** daniellimws27 has quit IRC | 01:51 | |
| *** daniellimws has joined #symbiflow | 01:57 | |
| *** Degi has quit IRC | 02:10 | |
| *** Degi has joined #symbiflow | 02:12 | |
| *** citypw has joined #symbiflow | 02:21 | |
| *** proteus-guy has joined #symbiflow | 02:43 | |
| *** proteus-guy has quit IRC | 03:36 | |
| *** epony has joined #symbiflow | 04:10 | |
| *** proteus-guy has joined #symbiflow | 04:17 | |
| *** epony has quit IRC | 04:50 | |
| *** epony has joined #symbiflow | 04:50 | |
| *** epony has quit IRC | 04:53 | |
| *** epony has joined #symbiflow | 04:55 | |
| *** _whitelogger has quit IRC | 05:06 | |
| *** _whitelogger has joined #symbiflow | 05:08 | |
| *** ZipCPU has quit IRC | 05:17 | |
| *** ZipCPU has joined #symbiflow | 05:19 | |
| *** proteus-guy has quit IRC | 05:21 | |
| *** _whitelogger has quit IRC | 05:33 | |
| *** _whitelogger has joined #symbiflow | 05:35 | |
| *** balmlake has quit IRC | 06:20 | |
| *** Bertl_zZ is now known as Bertl | 06:30 | |
| *** OmniMancer has joined #symbiflow | 06:49 | |
| *** OmniMancer1 has quit IRC | 06:51 | |
| *** solen has joined #symbiflow | 08:07 | |
| *** solen is now known as savorel | 08:07 | |
| savorel | Howdy, I am wondering if it is ok to include symbiflow in my thesis | 08:11 |
|---|---|---|
| savorel | Like have chapter explaining the terminology and how I used it | 08:12 |
| 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:16 |
| 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:19 |
| savorel | Also is there any oficial bibtex reference for the project ?? | 08:20 |
| sf-slack | <tmichalak> I am not sure if there is | 08:26 |
| savorel | I can make one then, and put the website link | 08:27 |
| sf-slack | <tmichalak> Sounds fine | 08:28 |
| savorel | Nice, thank you! | 08:29 |
| *** savorel has quit IRC | 10:34 | |
| *** Bertl is now known as Bertl_oO | 13:23 | |
| *** seraxis has quit IRC | 13:30 | |
| *** seraxis has joined #symbiflow | 13:31 | |
| *** proteus-guy has joined #symbiflow | 13:54 | |
| *** proteusguy has quit IRC | 14:09 | |
| *** OmniMancer has quit IRC | 14:23 | |
| *** balmlake has joined #symbiflow | 15:05 | |
| *** balmlake has quit IRC | 15:25 | |
| *** savorel has joined #symbiflow | 15:25 | |
| *** balmlake has joined #symbiflow | 15:33 | |
| *** citypw has quit IRC | 16:00 | |
| *** savorel has quit IRC | 16:54 | |
| 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) | 17:19 |
| *** clay_1 has joined #symbiflow | 17:20 | |
| *** balmlake has quit IRC | 17:28 | |
| *** karol4 has quit IRC | 17:45 | |
| *** karol4 has joined #symbiflow | 17:45 | |
| *** balmlake has joined #symbiflow | 18:42 | |
| *** Bertl_oO is now known as Bertl | 18:45 | |
| *** balmlake has quit IRC | 20:16 | |
| *** balmlake has joined #symbiflow | 20:25 | |
| *** OmniMancer has joined #symbiflow | 20:29 | |
| *** clay_1 has quit IRC | 20:31 | |
| *** balmlake has quit IRC | 20:54 | |
| *** balmlake has joined #symbiflow | 21:08 | |
| *** balmlake has quit IRC | 21:30 | |
| 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:49 |
| lambda | (note: I haven't tried latest yosys yet) | 22:51 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!