| *** tpb has joined #symbiflow | 00:00 | |
| *** Lalo|Sleepy has joined #symbiflow | 00:14 | |
| -_whitenotifier-5- [symbiflow-examples] rodrigomelo9 opened issue #126: Question about constraints - https://git.io/Jt5GS | 01:19 | |
| *** citypw has joined #symbiflow | 01:59 | |
| -_whitenotifier-5- [symbiflow-arch-defs] the-centry opened issue #2047: Had anyone tried to make it supporting two kinds of iopads ？ - https://git.io/Jt5WQ | 03:10 | |
| daniellimws | mithro: the new theme repo is not within https://github.com/orgs/SymbiFlow/teams/doc-team/repositories | 03:12 |
|---|---|---|
| daniellimws | it now only has the old one | 03:12 |
| *** Degi_ has joined #symbiflow | 03:28 | |
| *** TMM has quit IRC | 03:29 | |
| *** TMM has joined #symbiflow | 03:29 | |
| *** Degi has quit IRC | 03:30 | |
| *** Degi_ is now known as Degi | 03:30 | |
| *** hosana has quit IRC | 03:31 | |
| *** Eduardo has joined #symbiflow | 03:34 | |
| *** Eduardo is now known as Guest95959 | 03:34 | |
| *** Lalo|Sleepy has quit IRC | 03:36 | |
| *** Guest95959 has quit IRC | 03:42 | |
| *** rvalles has joined #symbiflow | 04:00 | |
| *** rvalles_ has quit IRC | 04:02 | |
| *** xtro has quit IRC | 04:27 | |
| *** xtro has joined #symbiflow | 04:28 | |
| *** xtro is now known as Guest1877 | 04:28 | |
| *** Guest1877 is now known as xtro | 04:30 | |
| *** Guest95959 has joined #symbiflow | 04:31 | |
| mithro | @daniellimws: should be fixed now | 04:54 |
| daniellimws | cool thanks | 04:57 |
| *** kraiskil has joined #symbiflow | 05:57 | |
| *** Guest95959 has quit IRC | 06:06 | |
| *** kraiskil has quit IRC | 06:20 | |
| *** smkz has quit IRC | 06:27 | |
| *** smkz has joined #symbiflow | 06:31 | |
| *** cr1901_modern has quit IRC | 07:59 | |
| *** cr1901_modern has joined #symbiflow | 08:01 | |
| *** kraiskil has joined #symbiflow | 08:17 | |
| *** kraiskil has quit IRC | 08:27 | |
| *** kgugala_ has joined #symbiflow | 09:27 | |
| *** kraiskil has joined #symbiflow | 09:28 | |
| *** kgugala has quit IRC | 09:29 | |
| *** kgugala has joined #symbiflow | 09:29 | |
| *** kgugala_ has quit IRC | 09:33 | |
| *** kraiskil has quit IRC | 09:36 | |
| *** kraiskil has joined #symbiflow | 10:48 | |
| *** kraiskil has quit IRC | 10:54 | |
| *** kraiskil has joined #symbiflow | 11:15 | |
| *** kraiskil has quit IRC | 11:20 | |
| *** kraiskil has joined #symbiflow | 11:33 | |
| -_whitenotifier-5- [fpga-interchange-schema] gatecat opened issue #11: Bus indices should (arguably) be signed not unsigned - https://git.io/Jt5Fn | 11:40 | |
| -_whitenotifier-5- [fpga-interchange-schema] gatecat opened issue #12: Property type considerations - https://git.io/Jt5Fu | 11:46 | |
| *** citypw has quit IRC | 13:47 | |
| *** proteusguy has quit IRC | 13:59 | |
| *** proteusguy has joined #symbiflow | 14:00 | |
| *** gromero_ has quit IRC | 15:23 | |
| sf-slack4 | <arvindsrinivasan> Hello, so I’m trying to follow this documentation to install symbiflow https://symbiflow-examples.readthedocs.io/en/latest/getting-symbiflow.html except that I want to specifically use my own locally built copy of Yosys. First, I removed the conda yosys package from the enviornment.yml file here (https://github.com/SymbiFlow/symbiflow-examples/blob/master/xc7/environment.yml). Next used the yosys repo | 15:55 |
| sf-slack4 | (https://github.com/YosysHQ/yosys) install methods (`make` and `sudo make install`) after finding the same commit as the conda package (Yosys 0.9+3710 (git sha1 2116c585). However, I seem to be getting an abc error (ERROR: Assert `cell->parameters.empty()' failed in passes/techmap/abc9_ops.cc:781.) when I attempt to then build the counter test. Is there some flags I should be setting when I attempt to build yosys and the | 15:55 |
| sf-slack4 | corresponding plugins before using them with the rest of the toolchain? | 15:55 |
| tpb | Title: Getting SymbiFlow SymbiFlow examples documentation (at symbiflow-examples.readthedocs.io) | 15:55 |
| *** gromero has joined #symbiflow | 15:57 | |
| *** rj_ has quit IRC | 16:09 | |
| *** ByteLawd has quit IRC | 16:20 | |
| *** ByteLawd has joined #symbiflow | 16:21 | |
| *** kraiskil has quit IRC | 16:25 | |
| litghost | We know that there are some issues with latest yosys on symbiflow (example issue: https://github.com/SymbiFlow/symbiflow-arch-defs/pull/2039 ) | 16:49 |
| litghost | You might have run into one of those issues | 16:49 |
| sf-slack4 | <kgugala> @arvindsrinivasan you should actually use yosys from https://github.com/symbiflow/yosys (Symbiflow's fork) as it has features required for symbiflow (some are not merged upstream yet) | 16:59 |
| sf-slack4 | <pgielda> @kgugala is right, conda package is indeed built from 2116c585 but from https://github.com/symbiflow/yosys | 17:01 |
| sf-slack4 | <pgielda> This commit happens to exist in both repos | 17:01 |
| *** rj_ has joined #symbiflow | 17:10 | |
| *** rj_ has left #symbiflow | 17:41 | |
| *** rj_ has joined #symbiflow | 17:45 | |
| *** rj_ has quit IRC | 17:45 | |
| *** rj_ has joined #symbiflow | 17:46 | |
| mithro | http://share.find.coop/doc/index.html <-- This might be interesting, it's tools for generating diffs for tables | 17:51 |
| tpb | Title: The COOPY Toolbox: The COOPY Toolbox: COOPY Guide (at share.find.coop) | 17:51 |
| *** rj_ is now known as rj | 18:10 | |
| *** proteusguy has quit IRC | 18:16 | |
| mithro | @acomodi: I'm a bit confused by https://github.com/SymbiFlow/symbiflow-examples/issues/126 | 18:39 |
| sf-slack4 | <arvindsrinivasan> @kgugala @pgielda thank you, for some reason I looked into the issue by trying to follow the conda package | 19:01 |
| sf-slack4 | <arvindsrinivasan> which is called https://anaconda.org/litex-hub/yosys | 19:01 |
| sf-slack4 | <arvindsrinivasan> And I thus used the yosys default repo and not the symbiflow yosys, since I saw a conda package called symbiflow-yosys | 19:01 |
| *** kraiskil has joined #symbiflow | 19:10 | |
| sf-slack4 | <arvindsrinivasan> Actually, is it intentional that this warning for https://github.com/SymbiFlow/yosys/commit/2116c585810cddb73777b46ea9aad0d6d511d82b “This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.” shows up | 19:18 |
| sf-slack4 | <kgugala> there might have been a rebase in the mean time | 19:40 |
| sf-slack4 | <kgugala> and since this particular commit is a merge commit it may have been removed | 19:40 |
| sf-slack4 | <arvindsrinivasan> I’m still encountering the error | 19:45 |
| sf-slack4 | <arvindsrinivasan> Despite having switched to using that exact commit from the symbiflow repo | 19:45 |
| sf-slack4 | <arvindsrinivasan> ERROR: Assert `cell->parameters.empty()' failed in passes/techmap/abc9_ops.cc:781. Is there something missing from either repo to have this example work? | 19:46 |
| sf-slack4 | <kgugala> the examples are built in the CI in examples repo, so everything must be there | 19:46 |
| sf-slack4 | <arvindsrinivasan> Is there something specific to how the conda packages are built theN | 19:48 |
| sf-slack4 | <arvindsrinivasan> I feel like locally building yosys should still produce something that works | 19:49 |
| sf-slack4 | <kgugala> packages are built here https://github.com/hdl/litex-conda-eda | 19:51 |
| litghost | Yosys will make changes that change or restrict the input it accepts as valid | 19:52 |
| litghost | There was a parser change two weeks that resulted in input that was accepted and worked before no longer work | 19:53 |
| litghost | In general riding yosys:master is a recipe for trouble, and we don't do it | 19:53 |
| sf-slack4 | <arvindsrinivasan> I’m using a specific commit that I thought conda is built with | 19:53 |
| litghost | Have you double checked (e.g. look at the yosys header for commit) | 19:54 |
| litghost | I don't believe we do much during the conda build that is special, besides commit pinning | 19:54 |
| sf-slack4 | <arvindsrinivasan> Yes, so I looked at https://github.com/SymbiFlow/symbiflow-examples/blob/master/xc7/environment.yml | 19:54 |
| sf-slack4 | <arvindsrinivasan> yosys=0.9_5007_g2116c585=20201202_112618 | 19:55 |
| sf-slack4 | <arvindsrinivasan> From there I found the 2116c585 commit on both the yosysHQ repo and the symbiflow repo and so I used the yosysHQ one first then the symbiflow repo | 19:55 |
| *** kraiskil_ has joined #symbiflow | 19:55 | |
| litghost | Are you condident that you are actually running the yosys compiled from that version? | 19:56 |
| litghost | confident* | 19:56 |
| sf-slack4 | <arvindsrinivasan> Directly downloading from here https://github.com/SymbiFlow/yosys/tree/2116c585810cddb73777b46ea9aad0d6d511d82b and building | 19:56 |
| litghost | That's not what I asked | 19:57 |
| sf-slack4 | <arvindsrinivasan> Yes I’m saying it builds a binary with the following version Yosys 0.9+3710 (git sha1 UNKNOWN, gcc 10.2.0-13ubuntu1 -fPIC -Os | 19:57 |
| sf-slack4 | <arvindsrinivasan> Which I confirmed is the binary that is installed systemwide on my path | 19:57 |
| litghost | Why is git sha1 UNKNOWN? It should reflect the hash of the git repo it was built from, for your own sanity | 19:58 |
| sf-slack4 | <arvindsrinivasan> Not sure of that, but the only yosys binary in the folder has this `./yosys --version` | 19:59 |
| *** kraiskil has quit IRC | 19:59 | |
| sf-slack4 | <kgugala> @arvindsrinivasan what do you mean by "Directly downloading from here https://github.com/SymbiFlow/yosys/tree/2116c585810cddb73777b46ea9aad0d6d511d82b and building" | 20:01 |
| sf-slack4 | <kgugala> did you clone the repo? | 20:01 |
| sf-slack4 | <arvindsrinivasan> If I cloned, I couldn’t find the specific commit in the git log for any branch | 20:01 |
| litghost | You can just fetch the hash, e.g. "git fetch origin 2116c585" | 20:02 |
| sf-slack4 | <arvindsrinivasan> fatal: couldn’t find remote ref 2116c585 | 20:03 |
| litghost | Use the full hash | 20:04 |
| sf-slack4 | <arvindsrinivasan> Alright | 20:05 |
| sf-slack4 | <arvindsrinivasan> I did that and I still build a binary (Yosys 0.9+3710 (git sha1 2116c585, clang 11.0.0-2 -fPIC -Os)) that causes an issue ERROR: Assert `cell->parameters.empty()' failed in passes/techmap/abc9_ops.cc:781. | 20:36 |
| sf-slack4 | <kgugala> which example do you try to build? | 20:37 |
| sf-slack4 | <arvindsrinivasan> counter_test | 20:38 |
| sf-slack4 | <arvindsrinivasan> Specifically for the basys3 | 20:39 |
| sf-slack4 | <arvindsrinivasan> I apologize if this is stupid, but like, given the conda packages are just built versions of the repo with nothing special, I feel like this should be a supported workflow since the versions of yosys and ABC is the exact same | 21:07 |
| *** ByteLawd has quit IRC | 21:36 | |
| *** ByteLawd has joined #symbiflow | 21:36 | |
| *** kraiskil_ has quit IRC | 22:19 | |
| *** rj has quit IRC | 22:27 | |
| *** TMM has quit IRC | 22:30 | |
| *** TMM has joined #symbiflow | 22:30 | |
| *** umarcor has quit IRC | 22:46 | |
| *** rj has joined #symbiflow | 22:55 | |
| Lofty | Kinda wish I'd got pinged for the ABC9 assert ^^; | 23:19 |
| Lofty | arvindsrinivasen: are you still around? | 23:19 |
| Lofty | arvindsrinivasan even | 23:19 |
| sf-slack4 | <arvindsrinivasan> Hi | 23:19 |
| sf-slack4 | <arvindsrinivasan> Whats up Lofty | 23:20 |
| Lofty | I'm...de facto ABC9 maintainer at the moment :P | 23:20 |
| Lofty | So asserts in ABC9 are my domain | 23:21 |
| Lofty | I'll open up the code in a bit, but here's my assumption: a cell with parameters is making its way to ABC9, but ABC9 expects monomorphised cells and can't really deal with it here | 23:22 |
| sf-slack4 | <arvindsrinivasan> Cool, that sounds good. I guess the issue I’m having is trying to build yosys locally (not even master) but the specific commit conda package uses for the symbiflow-examples, but the issue I”m having is that the example (which works with the conda package and its install of ABC9) doesn’t work with my own built copy | 23:22 |
| Lofty | litghost: did you file a bug for that parser issue? | 23:23 |
| litghost | The parser issue was a long standing whole in the parser that was fixed | 23:24 |
| litghost | Yosys accepted or interped something that was not allowed, but accepted it | 23:24 |
| litghost | This is the localparam scoping fix | 23:24 |
| Lofty | And 'your own built copy' gives the ABC9 assert? | 23:24 |
| litghost | Unrelated | 23:24 |
| litghost | I'm not sure what arvind's running into, I've not seen it locally | 23:25 |
| Lofty | I recently-ish made a change which exposes bugs in ABC9 | 23:25 |
| sf-slack4 | <arvindsrinivasan> Yes | 23:25 |
| Lofty | But *this particular* bug is new to me | 23:26 |
| sf-slack4 | <arvindsrinivasan> So while I agree this potentially could be a my system issue, I can explain the exact process I followed if anyone wants to try to replicate it on their system | 23:26 |
| Lofty | Please | 23:26 |
| sf-slack4 | <arvindsrinivasan> So I started with this https://symbiflow-examples.readthedocs.io/en/latest/getting-symbiflow.html instructions, and using the fresh install cloned the repo and installed conda | 23:27 |
| tpb | Title: Getting SymbiFlow SymbiFlow examples documentation (at symbiflow-examples.readthedocs.io) | 23:27 |
| Lofty | You mentioned a counter_test benchmark, but I didn't go far enough in the backlog to find it; could somebody point me to it? | 23:27 |
| sf-slack4 | <arvindsrinivasan> I edited this particular environment.yml file https://github.com/SymbiFlow/symbiflow-examples/blob/master/xc7/environment.yml once I cloned but before I created teh conda env to remove the litex-hub::yosys=0.9_5007_g2116c585=20201202_112618 line | 23:27 |
| sf-slack4 | <arvindsrinivasan> I then cloned and installed https://github.com/SymbiFlow/yosys, particularly, commit 2116c585810cddb73777b46ea9aad0d6d511d82b by checking it out and then running `make clean` then `make config-gcc` then `make` and finally `sudo make install` | 23:29 |
| sf-slack4 | <arvindsrinivasan> Finally I cloned and installed https://github.com/SymbiFlow/yosys-symbiflow-plugins, particularly, commit 40efa517423c54119440733f34dbd4e0eb14f983 by checking it out and then running `make clean` `make plugins` and finally `sudo make install` | 23:31 |
| sf-slack4 | <arvindsrinivasan> At this point, I tried to follow these steps to build the counter_test example https://symbiflow-examples.readthedocs.io/en/latest/building-examples.html and instead I got the error: `````` | 23:32 |
| tpb | Title: Building example designs SymbiFlow examples documentation (at symbiflow-examples.readthedocs.io) | 23:32 |
| Lofty | <arvindsrinivasan> At this point, I tried to follow these steps to build the counter_test example https://symbiflow-examples.readthedocs.io/en/latest/building-examples.html and instead I got the error: `````` | 23:37 |
| tpb | Title: Building example designs SymbiFlow examples documentation (at symbiflow-examples.readthedocs.io) | 23:37 |
| Lofty | I don't think that made it across the bridge very well | 23:37 |
| Lofty | (I was waiting for the actual text, but it seems it got eaten by the bridge) | 23:38 |
| sf-slack4 | <arvindsrinivasan> Oh okay | 23:39 |
| sf-slack4 | <arvindsrinivasan> ```make: Entering directory '/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test' cd build/basys3 && symbiflow_synth -t top -v /home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v -d artix7 -p xc7a35tcpg236-1 -x /home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/basys3.xdc 2>&1 > /dev/null ERROR: Assert `cell->parameters.empty()' | 23:39 |
| sf-slack4 | failed in passes/techmap/abc9_ops.cc:781. make: *** [Makefile:45: build/basys3/top.eblif] Error 1 make: Leaving directory '/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test'``` | 23:39 |
| sf-slack4 | <arvindsrinivasan> Is that clear? | 23:39 |
| Lofty | That made it across, though...you mentioned it was ABC9 and there's no mention of it in the log? | 23:39 |
| sf-slack4 | <arvindsrinivasan> Sorry if I was mistaken, but is > ERROR: Assert `cell->parameters.empty()' failed in passes/techmap/abc9_ops.cc:781. Not related to ABC9? | 23:40 |
| Lofty | Oh, I misread it because it wrapped across messages | 23:41 |
| Lofty | My apologies. | 23:41 |
| *** peddie has left #symbiflow | 23:47 | |
| Lofty | Ugh, I'm struggling to find the source of symbiflow_synth | 23:52 |
| sf-slack4 | <arvindsrinivasan> I believe that is the tar files that are unzipped in the second stage of installation | 23:53 |
| Lofty | It's in ibex-yosys-build, it seems | 23:54 |
| Lofty | Yosys 0.9+3833 (git sha1 19ffd3d8c, ccache clang 11.0.1 -fPIC -Os) | 23:57 |
| Lofty | Builds okay for me | 23:57 |
| Lofty | ...Would you mind trying with latest Yosys master | 23:57 |
| Lofty | Suffice it to say that I disagree that 'riding yosys:master is a recipe for trouble'. | 23:59 |
| sf-slack4 | <arvindsrinivasan> Can you clarify if you mean yosysHQ | 23:59 |
| sf-slack4 | <arvindsrinivasan> or symbiflow-yosys | 23:59 |
| Lofty | Yes | 23:59 |
| Lofty | YosysHQ | 23:59 |
| sf-slack4 | <arvindsrinivasan> Okay, starting clone and build now | 23:59 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!