| *** tpb has joined #yosys | 00:00 | |
| *** klotz has quit IRC | 00:22 | |
| *** citypw has joined #yosys | 01:34 | |
| *** s_frit has quit IRC | 01:36 | |
| *** rohitksingh has joined #yosys | 03:21 | |
| *** show1 has quit IRC | 04:09 | |
| *** rohitksingh has quit IRC | 04:16 | |
| *** blackbit has quit IRC | 06:13 | |
| *** blackbit has joined #yosys | 06:15 | |
| *** show1 has joined #yosys | 07:10 | |
| *** ZipCPU|Laptop has quit IRC | 08:06 | |
| *** jakobwenzel has joined #yosys | 08:16 | |
| *** dys has quit IRC | 08:27 | |
| *** dys has joined #yosys | 08:44 | |
| *** fsasm has joined #yosys | 08:49 | |
| *** m4ssi has joined #yosys | 09:04 | |
| *** _whitelogger has quit IRC | 09:52 | |
| *** _whitelogger has joined #yosys | 09:54 | |
| *** _whitelogger has quit IRC | 10:19 | |
| *** _whitelogger has joined #yosys | 10:21 | |
| *** ZipCPU|Laptop has joined #yosys | 11:07 | |
| *** vidbina_ has joined #yosys | 11:08 | |
| *** dh73 has joined #yosys | 11:18 | |
| *** mjoldfield has quit IRC | 12:53 | |
| *** mjoldfie_ has joined #yosys | 12:53 | |
| *** X-Scale has quit IRC | 13:02 | |
| *** X-Scale` has joined #yosys | 13:03 | |
| *** X-Scale` is now known as X-Scale | 13:04 | |
| *** mjoldfie_ has quit IRC | 13:07 | |
| *** mjoldfield has joined #yosys | 13:07 | |
| *** rohitksingh has joined #yosys | 13:08 | |
| *** vidbina_ has quit IRC | 13:19 | |
| *** vidbina_ has joined #yosys | 13:21 | |
| somlo | daveshah: for building prjtrellis on fedora rawhide (with python 3.9): https://pastebin.com/Ea8DHdRA | 14:33 |
|---|---|---|
| tpb | Title: [Diff] diff --git a/libtrellis/CMakeLists.txt b/libtrellis/CMakeLists.txt index d34d2e - Pastebin.com (at pastebin.com) | 14:33 |
| somlo | would rather I did a PR, or is this good enough? :) | 14:33 |
| daveshah | somlo: done, thanks | 14:37 |
| daveshah | btw, I wonder if Greg's recent change to the LiteX DRAM init might also fix the TrellisBoard issues you had at 55MHz? | 14:38 |
| somlo | daveshah: I just finished building an up-to-date LiteX+Rocket bitstream for the trellis | 14:45 |
| somlo | passed memtest on the first try when I pushed it to the board, and also after a few (5-ish) reset-switch pushes, and 3-4 subsequent reprogrammings with openocd | 14:47 |
| somlo | so I think we may be on to something :) | 14:47 |
| somlo | and it's at 60MHz, but at least this bitstream build feels solid | 14:49 |
| daveshah | Very good | 14:49 |
| somlo | maybe I should build it again and re-test a few times, not sure how specific to each p&r run this stuff is... | 14:50 |
| somlo | I was going to refresh my toolchain (yosys/trellis/nextpnr), so I'll see what happens once I build the bitstream with the latest new hotness | 14:50 |
| *** rohitksingh has quit IRC | 14:50 | |
| *** citypw has quit IRC | 15:09 | |
| *** emeb has joined #yosys | 15:20 | |
| somlo | daveshah: rebuilt the bitstream (same sources, same toolchain), and it failed twice (out of ten attempts) when pushing via openocd, and worked each time (about another ten attempts) when hitting the reset switch | 15:28 |
| somlo | so I'd say this is definitely better than before | 15:28 |
| daveshah | Interesting, thanks for testing | 15:31 |
| *** cr1901_modern has quit IRC | 15:47 | |
| *** rohitksingh has joined #yosys | 15:48 | |
| somlo | daveshah: I'll have another data point after I rebuild all toolchain components from their latest github snapshots | 15:48 |
| somlo | (not that I expect the litex/trellisboard memtest thing to be affected, but still :) | 15:49 |
| *** fsasm has quit IRC | 16:23 | |
| *** rohitksingh has quit IRC | 16:48 | |
| *** rohitksingh has joined #yosys | 16:57 | |
| *** vidbina_ has quit IRC | 17:09 | |
| *** m4ssi has quit IRC | 17:16 | |
| somlo | I was building yosys #de6006f (freshest as of a few hours ago), and I got a core dump while trying to run "tests/various/bug1531.ys" | 17:18 |
| somlo | any chance this is just my not-so-fresh (mid-2019) version of abc? | 17:21 |
| *** fsasm has joined #yosys | 17:22 | |
| *** rohitksingh has quit IRC | 17:48 | |
| *** rohitksingh has joined #yosys | 17:49 | |
| *** dys has quit IRC | 18:03 | |
| *** GenTooMan has quit IRC | 18:15 | |
| *** GenTooMan has joined #yosys | 18:16 | |
| ZirconiumX | somlo: What's your ABC version? | 18:16 |
| *** bitmapper has joined #yosys | 18:26 | |
| somlo | ZirconiumX: git 02393a2 (cca. Dec. 17, 2019) as packaged by Fedora | 18:27 |
| somlo | now trying with 8eb6aed (today's latest), on the off chance something relevant (that would affect the latest yosys) changed since then | 18:28 |
| ZirconiumX | Do you build Yosys from source? | 18:28 |
| *** _whitelogger has quit IRC | 18:28 | |
| ZirconiumX | Because Yosys vendors its own copy of ABC | 18:28 |
| ZirconiumX | By default `abc` and `abc9` invoke `yosys-abc`, rather than a system ABC | 18:29 |
| somlo | Fedora generally frowns upon "vendoring", so yes from source, but using ABCEXTERNAL=... | 18:30 |
| *** _whitelogger has joined #yosys | 18:31 | |
| somlo | worked great for the last year or two I've been doing it (I build my own RPMs with mock, to get a fresh yosys, and it didn't seem to mind the external abc thing before :) | 18:31 |
| ZirconiumX | I know the version of ABC vendored with Yosys got updated recently-ish to fix a bug with ABC9 &mfs | 18:31 |
| somlo | but I'm assuming every once in a while I'll hit a spot where Fedora's packaged ABC is out of date wrt latest yosys github :) | 18:32 |
| somlo | so I've been wondering if now's one of those... | 18:32 |
| ZirconiumX | https://github.com/YosysHQ/yosys/commit/9005bb97 | 18:32 |
| tpb | Title: Bump ABCREV for upstream fix · YosysHQ/yosys@9005bb9 · GitHub (at github.com) | 18:32 |
| somlo | oh, ok, so I should be able to figure out what abc git hash that was, and rebuild *that* as an RPM | 18:32 |
| ZirconiumX | That was slightly over two weeks | 18:32 |
| ZirconiumX | That would work | 18:33 |
| somlo | oh, cool, then I think we solved the mystery -- thanks! | 18:33 |
| somlo | once I try this out and verify that it works, I should probably file a bug in Fedora to have them bump their upstream package as well... | 18:34 |
| somlo | s/upstream/official-repo/ (upstream is too overloaded a term to work in this context :) | 18:35 |
| ZirconiumX | https://github.com/berkeley-abc/abc/commit/71f2b40320127561175ad60f6f2428f3438e5243 | 18:35 |
| ZirconiumX | I think this is the commit with the fix in | 18:35 |
| somlo | awesome, thanks again! | 18:36 |
| ZirconiumX | It seems ABC still has some bugs relevant to Yosys, but oh well | 18:36 |
| *** Jybz has joined #yosys | 18:38 | |
| *** rohitksingh has quit IRC | 19:14 | |
| *** ZipCPU|Laptop has quit IRC | 19:20 | |
| *** rohitksingh has joined #yosys | 19:31 | |
| somlo | ZirconiumX: tests/various/bug1531.ys coredumps even with the latest abc (8eb6aed) | 19:46 |
| somlo | so I'm thinking it's *not* the abc version that's causing it, at this point | 19:46 |
| ZirconiumX | somlo: I can't reproduce it | 19:47 |
| *** rohitksingh has quit IRC | 19:47 | |
| somlo | is yosys vendoring any other dependency besides abc? | 19:48 |
| ZirconiumX | JSON11 I think | 19:48 |
| ZirconiumX | Shouldn't be relevant here | 19:48 |
| somlo | my goal (besides having a working up-to-date yosys for my own use) is to be ready to package it for Fedora whenever the next version bump happens (I co-maintain it there) | 19:52 |
| somlo | so just building it for myself as a "one-off" will only accomplish goal #1 :) | 19:52 |
| somlo | maybe if I bisect it and figure out what yosys commit went from "passes tests" to "bombs this one test" in my own fedora/mock build environment will somehow illuminate just what else about fedora/mock is "wrong" as far as yosys is concerned... :) | 19:53 |
| somlo | that at least gives me something potentially productive to do, that doesn't require thinking too hard :D | 19:54 |
| *** rohitksingh has joined #yosys | 20:03 | |
| *** rohitksingh has quit IRC | 20:16 | |
| *** Jybz has quit IRC | 20:21 | |
| *** rohitksingh has joined #yosys | 20:29 | |
| *** fsasm has quit IRC | 20:31 | |
| *** rohitksingh has quit IRC | 20:39 | |
| *** X-Scale has quit IRC | 21:25 | |
| *** X-Scale has joined #yosys | 21:31 | |
| *** cr1901_modern has joined #yosys | 21:38 | |
| *** X-Scale has quit IRC | 21:51 | |
| *** dh73 has quit IRC | 22:37 | |
| *** bitmapper has quit IRC | 22:42 | |
| *** bitmapper has joined #yosys | 22:45 | |
| *** rohitksingh has joined #yosys | 22:56 | |
| *** klotz has joined #yosys | 22:58 | |
| *** rohitksingh has quit IRC | 23:14 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!