| *** tpb has joined #symbiflow | 00:00 | |
| *** _florent_ has quit IRC | 00:17 | |
| *** sorear_ has joined #symbiflow | 00:18 | |
| *** davidlattimore has quit IRC | 00:18 | |
| *** sorear has quit IRC | 00:18 | |
| *** jopdorp has quit IRC | 00:18 | |
| *** sorear_ is now known as sorear | 00:18 | |
| *** jopdorp_ has joined #symbiflow | 00:18 | |
| *** futarisIRCcloud has quit IRC | 00:19 | |
| *** davidlattimore has joined #symbiflow | 00:19 | |
| *** futarisIRCcloud has joined #symbiflow | 00:19 | |
| *** _florent_ has joined #symbiflow | 00:20 | |
| *** goku12 has quit IRC | 01:12 | |
| *** citypw_ has joined #symbiflow | 02:01 | |
| *** Degi_ has joined #symbiflow | 03:49 | |
| *** Degi has quit IRC | 03:50 | |
| *** Degi_ is now known as Degi | 03:50 | |
| *** andrewb1999 has quit IRC | 04:05 | |
| *** andrewb1999 has joined #symbiflow | 04:05 | |
| *** andrewb1999 has quit IRC | 04:30 | |
| *** _whitelogger has quit IRC | 06:51 | |
| *** _whitelogger has joined #symbiflow | 06:53 | |
| *** QDX45 has quit IRC | 07:23 | |
| *** kuldeep_ has quit IRC | 07:38 | |
| *** citypw_ has quit IRC | 08:53 | |
| *** citypw_ has joined #symbiflow | 08:59 | |
| *** hansfbaier has joined #symbiflow | 09:01 | |
| *** hansfbaier has quit IRC | 10:59 | |
| -_whitenotifier- [symbiflow-arch-defs] Xiretza opened issue #1973: symbiflow_write_xml_rr_graph toolchain wrapper is not installed - https://git.io/JtZpU | 11:19 | |
| *** duck2 has quit IRC | 11:21 | |
| *** duck2 has joined #symbiflow | 11:22 | |
| *** sf-slack2 has joined #symbiflow | 12:15 | |
| *** sf-slack has quit IRC | 12:16 | |
| lambda | `make -C xc7/counter_test TARGET=arty_35` in symbiflow-examples fails with `ERROR: Assert `cell->parameters.empty()' failed in passes/techmap/abc9_ops.cc:781.`, even with symbiflow's yosys fork. commenting out line 158 in synth.tcl works, but it's rather ugly a fix. | 14:14 |
|---|---|---|
| lambda | after some digging with gdb, I found that it's erroring on a `CARRY4_VPR` cell, which indeed has parameters - I just don't know what part is to blame here | 14:16 |
| *** andrewb1999 has joined #symbiflow | 14:52 | |
| *** josi7 has quit IRC | 15:13 | |
| *** citypw_ has quit IRC | 15:27 | |
| Lofty | kgugala_: quicklogic-design8-workaround has a workaround patch for the `bram` testcase; want me to include it in the quicklogic-sta branch? | 15:31 |
| sf-slack2 | <kgugala> yep, it will be easier to test it that way | 15:32 |
| sf-slack2 | <kgugala> thanks | 15:32 |
| Lofty | Done | 15:32 |
| sf-slack2 | <kgugala> awesome, thanks | 15:35 |
| Lofty | kgugala_: Also, I fixed the bug in `scc -specify` for the present testcase. ABC9 still crashes, but at least `scc` detects the loop now. | 17:12 |
| sf-slack2 | <kgugala> cool | 17:14 |
| lambda | could someone with a working conda/etc setup build the xc7 counter_test example for arty_35 and send me their top.json.pre_abc9.ilang? it's not part of the CI artifacts unfortunately | 17:23 |
| *** kgugala has joined #symbiflow | 17:51 | |
| *** cr1901_modern has quit IRC | 17:52 | |
| *** kgugala_ has quit IRC | 17:54 | |
| *** sf-slack has joined #symbiflow | 17:55 | |
| *** sf-slack2 has quit IRC | 17:56 | |
| litghost | lambda: Please file an issue with replication instructions on the "Assert `cell->parameters.empty()". The symbiflow-examples CI isn't showing that assertion file: https://github.com/SymbiFlow/symbiflow-examples/runs/1754086445#step:8:17 | 17:59 |
| litghost | So I'm unclear what is different beteween your setup and the CI's setup | 17:59 |
| litghost | failure* | 17:59 |
| *** cr1901_modern has joined #symbiflow | 18:01 | |
| lambda | litghost: that's what I'm trying to figure out too - I'm using arch packages instead of all the vendored/pinned dependencies from conda though, so I don't really want to waste too many support resources for something that is clearly not the intended way of doing things | 18:01 |
| litghost | lambda: If you can replicate when building from source, that should be enough to replicate the failure | 18:02 |
| lambda | yosys and vtr are built from source, don't have the RAM to build arch-defs unfortunately | 18:03 |
| *** kgugala has quit IRC | 18:04 | |
| *** kgugala has joined #symbiflow | 18:04 | |
| litghost | lambda: That shouldn't be a problem. Your replication could be something akin to 1) build yosys from source, 2) build vtr from source 3) download a particular arch-def output 4) run this command, which generates assertion | 18:05 |
| litghost | Just provide exactly git hashes from yosys, vtr, arch-def URL etc | 18:06 |
| lambda | will do | 18:06 |
| litghost | And the commands you used to build and install the products | 18:06 |
| litghost | In theory, I should be able to replicate your failure same as you | 18:06 |
| lambda | I'm on yosys 54294957e (4 days old), arch-defs bff52005 (latest), vtr 991b11422 (latest) FWIW | 18:10 |
| lambda | so probably newer than is pinned in the conda configs | 18:10 |
| litghost | Have you tried yosys 2116c585? | 18:14 |
| litghost | If that works, then the assertion error is something that arose since then | 18:15 |
| lambda | I happen to have that exact commit packaged already, let me try | 18:17 |
| lambda | nevermind, have to rebuild anyway | 18:22 |
| lambda | yes, still happens with 2116c5858 - I'll write up more detailed build steps in an issue | 18:45 |
| litghost | Ok, thanks! | 18:46 |
| litghost | Suprising, will need to figure out what is going on. Thanks | 18:46 |
| *** cr1901_modern has quit IRC | 19:27 | |
| *** cr1901_modern has joined #symbiflow | 19:27 | |
| *** kgugala_ has joined #symbiflow | 19:42 | |
| *** kgugala has quit IRC | 19:45 | |
| *** kgugala_ has quit IRC | 19:56 | |
| *** kgugala has joined #symbiflow | 19:56 | |
| *** andrewb1999 has quit IRC | 20:07 | |
| mithro | litghost: https://github.com/SymbiFlow/prjxray-db/compare/master...mithro:master | 20:18 |
| litghost | LGTM! | 20:19 |
| mithro | litghost: Pushed! | 20:20 |
| mithro | litghost: Excited to see the progress here! | 20:20 |
| litghost | Hey it is all acomodi/kowalewskijan/tmichalak/dnltz doing the work! | 20:21 |
| mithro | Yeah, I'm excited to see dnltz doing the work here! | 20:22 |
| *** kraiskil has joined #symbiflow | 20:28 | |
| * nickoe just wonder how this bitstream reverse engineering really works in practice | 20:41 | |
| mithro | nickoe: We document the bitstream to enable us to create compatible tooling. There is a pretty good description in the prjxray documentation. | 20:42 |
| nickoe | I mean I can read the readme in https://github.com/SymbiFlow/prjxray, but if I am sorta clueless about how to write a fuzzer, but I think that is more a problem of my experince / knowledge than the project docs :D | 20:45 |
| mithro | nickoe: https://symbiflow.readthedocs.io/projects/prjxray/en/latest/ | 20:46 |
| tpb | Title: Project X-Ray Project X-Ray 0.0-3381-g6e3f0537 documentation (at symbiflow.readthedocs.io) | 20:46 |
| nickoe | But note; I have not really tried to put much effort into understanding it | 20:46 |
| nickoe | mithro: I was looking for that page, but that one was hard to find | 20:47 |
| mithro | nickoe: https://symbiflow.readthedocs.io/projects/prjxray/en/latest/db_dev_process/fuzzers/index.html | 20:47 |
| tpb | Title: Fuzzers Project X-Ray 0.0-3381-g6e3f0537 documentation (at symbiflow.readthedocs.io) | 20:47 |
| nickoe | this repo links to the db html https://github.com/SymbiFlow/prjxray | 20:47 |
| mithro | nickoe: We need to do a better job of surfacing it I guess... | 20:47 |
| mithro | nickoe: https://symbiflow.readthedocs.io/projects/prjxray/en/latest/db_dev_process/new_fuzzer.html | 20:48 |
| tpb | Title: Adding New Fuzzer Project X-Ray 0.0-3381-g6e3f0537 documentation (at symbiflow.readthedocs.io) | 20:48 |
| nickoe | mithro: but don't worry, I don't think I will attempt to fuzz stuff, I think I have enought trying to understand the tooling to use it :) | 20:49 |
| mithro | nickoe: You could totally help just by making it easier to find the documentation :-) | 20:50 |
| nickoe | I wanted to have a look at the litex stuff, but as I understand it you need to use migen to create a project using litex? | 20:50 |
| nickoe | is that correctly understood? | 20:50 |
| *** kraiskil has quit IRC | 20:52 | |
| mithro | migen is the language, litex is an ecosystem written (mostly) in the migen language | 20:55 |
| *** kraiskil has joined #symbiflow | 21:05 | |
| nickoe | yeah | 21:06 |
| mithro | nickoe: BTW I recommend the #litex channel if you want to specifically talk about that | 21:07 |
| nickoe | mithro: you know I am on too many channels already, rihgt!? | 21:17 |
| mithro | nickoe: I doubt you are on as many as me ;-) | 21:20 |
| nickoe | mithro: yeah, well, I think 50 is at the point where one needs to consolidate the list a bit | 21:25 |
| nickoe | That is the point where I am at. | 21:25 |
| *** sorear has quit IRC | 21:38 | |
| *** sorear has joined #symbiflow | 21:39 | |
| *** kraiskil has quit IRC | 22:07 | |
| *** kraiskil has joined #symbiflow | 22:12 | |
| -_whitenotifier- [symbiflow-examples] Xiretza opened issue #120: counter_test example hits yosys ABC9 assert during synth - https://git.io/Jtni2 | 22:23 | |
| *** kraiskil has quit IRC | 22:26 | |
| *** SmutLord^ has quit IRC | 22:45 | |
| *** SmutLord^ has joined #symbiflow | 22:45 | |
| tcal | kgugala: I'm getting "No runner matching the specified labels was found: self-hosted, Linux, X64" for tests that ran when I pushed my branch on symbiflow-examples: https://github.com/tcal-x/symbiflow-examples/actions/runs/510609905 .... but it seems the tests for the associated PR are passing: https://github.com/SymbiFlow/symbiflow-examples/pull/121 | 23:34 |
| *** LoneTech has quit IRC | 23:58 | |
| *** LoneTech has joined #symbiflow | 23:59 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!