| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:18 | |
| *** gnufan_home has joined #yosys | 00:20 | |
| *** gnufan_home has quit IRC | 00:51 | |
| *** rohitksingh has quit IRC | 02:59 | |
| *** adjtm has quit IRC | 03:02 | |
| *** adjtm has joined #yosys | 03:03 | |
| *** PyroPeter has quit IRC | 03:37 | |
| *** rohitksingh has joined #yosys | 03:46 | |
| *** PyroPeter has joined #yosys | 03:51 | |
| *** Jybz has joined #yosys | 06:28 | |
| janrinze | daveshah: the script from dave gets me an error. it fails to read the flash ID. | 06:55 |
|---|---|---|
| janrinze | daveshah: that would be the script from greg of course. (oops) | 06:56 |
| janrinze | changed the ID check from A8 to 18. it runs now but very slow. No idea if it works or if it is busy killing the board slowly :D | 07:01 |
| janrinze | after power cycle the lattice demo is gone. but also no sign of the uploaded design. hmm.. | 07:04 |
| *** emeb_mac has quit IRC | 07:18 | |
| *** rohitksingh has quit IRC | 08:25 | |
| *** captain_morgan7 has joined #yosys | 09:22 | |
| *** captain_morgan has quit IRC | 09:22 | |
| *** rektide has quit IRC | 09:49 | |
| *** rektide has joined #yosys | 09:52 | |
| janrinze | daveshah: thanks for helping out with the script! | 10:40 |
| *** maikmerten has joined #yosys | 11:17 | |
| ZirconiumX | daveshah: So, pepijndevos has a script to turn JSON netlists into KiCad netlists | 12:13 |
| ZirconiumX | But it's struggling with mapping an aliased netlist to the (expected) name | 12:13 |
| ZirconiumX | For example in my Boneless JSON, (top-level) o_mem_data, alsru.o_mem_data and alsru.o_o all alias bit 19 | 12:14 |
| ZirconiumX | This means that whichever comes first in the JSON is the net name, which is a bit problematic | 12:16 |
| ZirconiumX | Or at least, hard to debug | 12:16 |
| daveshah | opt_clean -purge removes aliases | 12:18 |
| ZirconiumX | That's so much better, thank you | 12:19 |
| pepijndevos | Nice nice | 12:20 |
| *** dys has quit IRC | 14:42 | |
| *** dys has joined #yosys | 15:06 | |
| *** citypw has joined #yosys | 16:03 | |
| *** citypw has quit IRC | 16:37 | |
| *** rohitksingh has joined #yosys | 16:39 | |
| *** maikmerten has quit IRC | 16:55 | |
| *** emeb has joined #yosys | 17:07 | |
| *** X-Scale has joined #yosys | 17:23 | |
| *** dys has quit IRC | 18:17 | |
| *** dys has joined #yosys | 18:18 | |
| *** rohitksingh has quit IRC | 18:19 | |
| *** rohitksingh has joined #yosys | 18:21 | |
| *** rohitksingh has quit IRC | 19:00 | |
| *** rohitksingh has joined #yosys | 19:00 | |
| pepijndevos | I wonder if it'd be hard to turn symbiyosys into a Python package you can just pip install. | 19:13 |
| pepijndevos | Well, I know that part is easy because there is already a PR for it. | 19:13 |
| pepijndevos | What I was actually thinking about is bundling solvers with it. | 19:14 |
| pepijndevos | Brought to you by https://sahandsaba.com/understanding-sat-by-implementing-a-simple-sat-solver-in-python.html | 19:14 |
| *** kraiskil has joined #yosys | 19:23 | |
| *** kraiskil has quit IRC | 20:04 | |
| *** kraiskil has joined #yosys | 20:05 | |
| *** kraiskil has quit IRC | 20:10 | |
| *** kraiskil has joined #yosys | 20:11 | |
| *** kraiskil has quit IRC | 20:23 | |
| *** emeb has quit IRC | 20:30 | |
| *** captain_morgan7 has quit IRC | 20:30 | |
| *** emeb has joined #yosys | 20:33 | |
| *** emeb_mac has joined #yosys | 20:54 | |
| *** rohitksingh has quit IRC | 21:24 | |
| *** rohitksingh has joined #yosys | 22:10 | |
| *** Jybz has quit IRC | 22:43 | |
| *** emeb has quit IRC | 22:46 | |
| *** rohitksingh has quit IRC | 23:40 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!