| *** tpb has joined #symbiflow | 00:00 | |
| *** analognoise has joined #symbiflow | 01:27 | |
| *** Bertl_zZ is now known as Bertl | 06:07 | |
| *** proteusguy has quit IRC | 07:44 | |
| *** OmniMancer has joined #symbiflow | 07:47 | |
| *** proteusguy has joined #symbiflow | 07:48 | |
| *** analognoise1 has joined #symbiflow | 07:50 | |
| *** analognoise has quit IRC | 07:54 | |
| sf-slack2 | <mkurc> @litghost Regarding the rr graph traversal tool: I wrote it in C++ for better efficiency both in speed and memory usage (in my opinion). I'll rewrite it in Python and see if the difference is significant. | 08:03 |
|---|---|---|
| *** analognoise1 has quit IRC | 08:09 | |
| *** analognoise has joined #symbiflow | 08:09 | |
| *** analognoise1 has joined #symbiflow | 08:16 | |
| *** analognoise has quit IRC | 08:20 | |
| *** citypw has joined #symbiflow | 08:27 | |
| *** citypw has quit IRC | 09:12 | |
| *** sxpert has quit IRC | 09:50 | |
| *** sxpert has joined #symbiflow | 09:51 | |
| *** sxpert has quit IRC | 09:56 | |
| *** sxpert has joined #symbiflow | 10:31 | |
| *** sxpert has quit IRC | 12:10 | |
| *** futarisIRCcloud has quit IRC | 12:26 | |
| mithro | Morning everyone | 14:15 |
| sf-slack2 | <kgugala> Morning @mithro | 14:15 |
| sf-slack2 | <acomodi> Morning | 14:16 |
| sf-slack2 | <mkurc> Morning | 14:16 |
| mithro | sloppydiakon: There is plenty we need help with! I would suggest looking at our issue trackers | 14:16 |
| mithro | kgugala: How does the bel timing stuff go? | 14:26 |
| sf-slack2 | <kgugala> @mithro We discussed that with @litghost and @elms and we will proceed with generating all the xmls from verilog and inject the timings into the xmls | 14:39 |
| sf-slack2 | <kgugala> I'm right now removing the xmls and update CMake rules to generate those | 14:40 |
| sf-slack2 | <kgugala> I think I have something to push later today | 14:40 |
| *** OmniMancer has quit IRC | 15:12 | |
| sf-slack2 | <mkurc> @me1 @litghost I've been thinking how to progress with the CLB split once the grid location mapping is done. And to be honest I do not have a clear idea what to do next. I've prepared an updated draft drawing of the import flow which I shared with you. I wrote a comment there with some of my thoughts about how the split should be done. | 15:25 |
| litghost | Mkurc: you should create a pip table with a forgeign key to both the pip_in_tile and tile and phy_tile | 15:40 |
| sf-slack2 | <mkurc> @litghost I know that but this will not be enough. What I am supposed to do with that mapping? | 15:51 |
| sf-slack2 | <mkurc> @litghost All the connection information comes from the prjxray database through the Connection() class. It provides a generator which yields connection between tiles (CLBs). And these connections are passed as tile names and wire names. I cannot keep those names as wires that go to SLICE_X0Y0 are different that for SLICE_X1Y0 | 15:51 |
| sf-slack2 | <mkurc> @litghost If I provide a table that maps pips between different tiles via foreign keys then I will still have to modify wire names as they are required in arch.xml | 15:51 |
| sf-slack2 | <mkurc> BTW: Why cannot we generate the rr graph XML directly via a python scripy? Why there is a need to use the VPR for initial rr graph generation in which we modify nodes and edges ? | 15:54 |
| sf-slack2 | <tmichalak> Morning everyone, I am still working on the prjxray stabilzation of the CI runs, and my latest attempts are in the dedicated PR (https://github.com/SymbiFlow/prjxray/pull/728). The runtime of the entire pipeline is kind of troublesome but it seems that I was able to get rid of most of them. The last one that I see very consistently is in 041-clk-hrow-pips fuzzer: Orig line: | 15:57 |
| sf-slack2 | CLK_HROW_BOT_R.CLK_HROW_CK_MUX_OUT_R2.CLK_HROW_R_CK_GCLK27 26_26 27_29 New line: CLK_HROW_BOT_R.CLK_HROW_BOT_R_CK_BUFG_CASCO0.CLK_HROW_CK_BUFRCLK_L3 26_26 27_29 I decided to create a separate fuzzer for pips with the CLK_HROW_CK_MUX_OUT destination and of course excluded them for being solved in 041-clk-hrow-pips | 15:57 |
| tpb | Title: [WIP] Fuzzers stabilization by tmichalak · Pull Request #728 · SymbiFlow/prjxray · GitHub (at github.com) | 15:57 |
| *** citypw has joined #symbiflow | 15:57 | |
| litghost | mkurc: the pip table is required to prreform the tile split on the pips | 15:58 |
| litghost | mkurc: the wire table already have a tile pkey, so the tile split for site pins can simply be done via assigning the tile forgien key in the wire table | 15:59 |
| litghost | mkurc: The Connection() class never changes under a tile split, period | 15:59 |
| litghost | mkurc: So the answer to you question is nothing changes there | 15:59 |
| litghost | mkurc: You are correct that during routing import we need to map IPIN/OPIN to site pin wire rows | 16:00 |
| litghost | mkurc: The name of the tile_type in the tile table should match the VPR tile name | 16:01 |
| litghost | mkurc: And the site pin map between the VPR tile and the wire table is encoded in the site_type_*.json and the wire table during initial generation | 16:01 |
| litghost | mkurc: So the rough process is 1) Create pip table, assigning VPR tiles based on tile split, 2) When creating the wire table use the VPR tile forgien key rather than the prjxray parent phy_tile forgien key 3) Update how the VPR IPIN/OPIN map lookup works to account for split/non-split tiles | 16:02 |
| litghost | mkurc: In terms of why we start with the virtual rrgraph from VPR, a couple reasons | 16:03 |
| litghost | mkurc: 1) VPR's generation of the virtual rrgraph is correct in terms of IPIN, OPIN, SOURCE, SINK nodes | 16:03 |
| litghost | mkurc: 2) The virtual graph generation provides an early sanity check that the arch.xml is valid | 16:04 |
| litghost | mkurc: It's unclear what benefit generating the IPIN/OPIN/SOURCE/SINK nodes, of the metadata portion of the rr graph (e.g switchlist, blocklist, grid) would gain use | 16:04 |
| litghost | mkurc: The arch.xml grid definition defines the grid list found in the virtual rrgraph, so we still need to generate the arch.xml no matter what | 16:05 |
| litghost | mkurc: Does that make sense? | 16:05 |
| *** citypw has quit IRC | 16:12 | |
| sf-slack2 | <acomodi> update on equivalent tiles: unfortunately picosoc did not work on HW, I have been debugging to find the reason. Anyways _kem gave a detailed description on what is for him the best way to proceed with the equivalence tiles (https://github.com/verilog-to-routing/vtr-verilog-to-routing/issues/513). With a little change on my PR on the Symbiflow fork I can implement its first option (strict pin equivalence between two | 16:17 |
| sf-slack2 | tiles) | 16:17 |
| tpb | Title: Support Equivalent Placement Sites · Issue #513 · verilog-to-routing/vtr-verilog-to-routing · GitHub (at github.com) | 16:17 |
| sf-slack2 | <mkurc> @litghost Makes sense but still I do not have a clear vision how to do this. | 16:18 |
| sf-slack2 | <mkurc> @litghost Because splitting a CLB is not just moving pips sites and pins. It has to be consistent with the arch.xml | 16:19 |
| sf-slack2 | <mkurc> @litghost I will keep working on it basing on your latest insights. But I still do not understand why shouldn't we go with the of modifying input to the prjxray_*.py scripts. | 16:23 |
| litghost | mkurc: From a routing standpoint "s not just moving pips sites and pins" is exactly what it is | 16:46 |
| litghost | mkurc: The arch.xml bit is extremely straight forward, where is the confusion | 16:46 |
| litghost | acomodi: Are you running with https://github.com/SymbiFlow/vtr-verilog-to-routing/pull/42 merged? | 16:48 |
| tpb | Title: Fix bug in routing walk logic. by litghost · Pull Request #42 · SymbiFlow/vtr-verilog-to-routing · GitHub (at github.com) | 16:48 |
| sf-slack2 | <acomodi> litghost: actually no, I'll run genfasm again with the patch (or is the whole routing to be done again)? | 16:52 |
| litghost | acomodi: genfasm only | 16:52 |
| sf-slack2 | <acomodi> litghost: all right, thanks | 16:54 |
| litghost | tmichalak: > Orig line: | 17:01 |
| litghost | 8:49 AM CLK_HROW_BOT_R.CLK_HROW_CK_MUX_OUT_R2.CLK_HROW_R_CK_GCLK27 26_26 27_29 New line: CLK_HROW_BOT_R.CLK_HROW_BOT_R_CK_BUFG_CASCO0.CLK_HROW_CK_BUFRCLK_L3 26_26 27_29 I decided to create a separate fuzzer for pips with the CLK_HROW_CK_MUX_OUT destination and of course excluded them for being solved in 041-clk-hrow-pips | 17:01 |
| litghost | The word offset for the clk HROW was moved in https://github.com/SymbiFlow/prjxray/commit/c2df5c97eb27011ffe57a7acb22fff270266f225, so the aliasing you see there is simply caused by tilegrid definition being updated | 17:01 |
| litghost | tmichalak: In this case, I incorrectly determined the base word offset and had to expand how many words belonged to CLK_HROW, so the old solution is just wrong | 17:02 |
| litghost | tmichalak: At least wrong from the standpoint of the new tilegrid | 17:02 |
| litghost | mkurc: Oh another reason to not generate the entire rrgraph: It's slow! When I was optimizing prjxray_routing_import.py, I originally was creating the output xml soley from the python datastructures in graph2. Doing that took a minute or so! Simply copying the portion of the rrgraph from virt to real took less than a second! | 17:10 |
| litghost | kgugala: > I'm right now removing the xmls and update CMake rules to generate those | 17:11 |
| litghost | Does that include the FF's? | 17:11 |
| litghost | kgugala: I needed to add some pack patterns for https://github.com/SymbiFlow/symbiflow-arch-defs/pull/576 and they are awful. My thinking was handling this in v2x (I have some ideas). If you haven't done FF xml -> .v + v2x, I can start that today | 17:12 |
| tpb | Title: WIP: Add explicit CEUSEDMUX and SRUSEDMUX support. by litghost · Pull Request #576 · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 17:12 |
| sf-slack2 | <tmichalak> @litghost Yes, I know that, I found that the correct solution is CLK_HROW_BOT_R.CLK_HROW_CK_MUX_OUT_R2.CLK_HROW_R_CK_GCLK27 26_186 27_189 | 17:22 |
| *** analognoise1 has quit IRC | 17:23 | |
| litghost | tmichalak: Okay, I was just providing context on why those values changed | 17:23 |
| litghost | And you'll note that 26_26 -> 26_186 is a 5 32-bit words different (186-26 = 160, 160/5 = 32), which matches the change done in https://github.com/SymbiFlow/prjxray/commit/c2df5c97eb27011ffe57a7acb22fff270266f225 | 17:24 |
| tpb | Title: Working complete HROW pip fuzzer. · SymbiFlow/prjxray@c2df5c9 · GitHub (at github.com) | 17:24 |
| sf-slack2 | <tmichalak> ok, makes sense | 17:25 |
| sf-slack2 | <tmichalak> did something change with regards to rerunning the CI build using the kokoro:force-run label? I am not able to rerun the tests using it. It used to work... | 17:27 |
| litghost | tmichalak: It is likely that the CI is just backed up | 17:29 |
| litghost | tmichalak: Let me take a look | 17:30 |
| litghost | tmichalak: CI might be broken, one minute | 17:30 |
| litghost | tmichalak: Looks like it resolved itself. Maybe the VM's were just cold, but they are running now | 17:34 |
| sf-slack2 | <tmichalak> @litghost: yepp, everything works now | 17:38 |
| sf-slack2 | <kgugala> @litghost right now I'm focusing on LUT's and making the SLICEL and SLICEM independent (as they have different timings) | 17:48 |
| sf-slack2 | <kgugala> at this moment I'm solving verilog dependancies in Cmak | 17:49 |
| litghost | kgugala: Ah good. Do push any v2x changes you have so I don't double | 17:49 |
| litghost | kgugala: Need help, or all good? | 17:49 |
| sf-slack2 | <kgugala> I'll push that later | 17:49 |
| sf-slack2 | <kgugala> so far It's ok | 17:49 |
| litghost | kgugala: Thanks | 17:49 |
| mithro | kgugala: Where did we get with finishing up and landing acomodi's tests pull request here -> https://github.com/SymbiFlow/symbiflow-arch-defs/pull/316 ? | 17:51 |
| tpb | Title: WIP: Improve the Verilog to XML conversion process by acomodi · Pull Request #316 · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 17:51 |
| litghost | kgugala: Ya, echoing mithro, we should get https://github.com/SymbiFlow/symbiflow-arch-defs/pull/316 merged before we start expanding v2x support to cover timing and FASM | 19:37 |
| tpb | Title: WIP: Improve the Verilog to XML conversion process by acomodi · Pull Request #316 · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 19:37 |
| sf-slack2 | <kgugala> oh, sorry didn't see @mithro's message | 19:38 |
| sf-slack2 | <kgugala> I agree we should have it | 19:38 |
| litghost | kgugala: Especially now that CI is running tests, we should get some baselines v2x tests running (e.g. fixup and merge https://github.com/SymbiFlow/symbiflow-arch-defs/pull/316), and then add to the test suite as we need features from v2x | 19:38 |
| tpb | Title: WIP: Improve the Verilog to XML conversion process by acomodi · Pull Request #316 · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 19:38 |
| sf-slack2 | <kgugala> I didn't need it yet - all the conversions I need so far didn't need this | 19:39 |
| sf-slack2 | <kgugala> @acomodi can you take a look on that, or comment why it is still WIP | 19:39 |
| sf-slack2 | <kgugala> besides merge conflict and failing CI of course | 19:39 |
| sf-slack2 | <kgugala> are those the only issues we need to fix before the merge? | 19:40 |
| litghost | kgugala: I just did a review pass, there are quiet of few weird changes, debug prints, etc | 19:41 |
| litghost | kgugala: It looks very WIP | 19:41 |
| litghost | kgugala: Most comments were of that variety, some requests for documentation, and some requests for adding some usability features (all targets, update golden file targets, etc) | 19:41 |
| *** tmichalak has joined #symbiflow | 20:23 | |
| sf-slack2 | <acomodi> litghost, kgugala: yes, it was a very WIP. I had taken mithro commits and added new ones but then left it to focus on other higher priority issues. I would say that we can clean it up and then merge and continue from there | 21:00 |
| mithro | I've been working on trying to get the latches in symbiflow-arch-defs in order | 21:39 |
| mithro | I now have the following flip flop diagram -> https://usercontent.irccloud-cdn.com/file/0kyvbm3r/image.png | 21:39 |
| mithro | I also have the following spreadsheet -> https://docs.google.com/spreadsheets/d/16yvScRkedOkPCRBSInFuHE_cUMD8Ls-b9KFmHocpC-o/edit | 21:40 |
| tpb | Title: Flip Flops - Google Sheets (at docs.google.com) | 21:40 |
| *** Bertl is now known as Bertl_zZ | 21:41 | |
| mithro | I think I have all the Yosys internal, iCE40 and XC7 flip flop types in that spreadsheet so far | 21:44 |
| mithro | I can also generate sim models from them | 21:45 |
| mithro | trying to get truth tables and test benches auto created too... | 21:49 |
| mithro | And also techmaps... | 21:49 |
| hackerfoo | RAM32X1D only uses O5 when packing two of them in half a slice (e.g. C/DLUT), but VPR doesn't seem to do this. Would it make sense to comment out O5 in dpram32.pb_type.xml? | 21:54 |
| litghost | hackerfoo: I think it makes sense to make an issue and add a TODO pointing to the issue to fix this in the future | 21:58 |
| litghost | hackerfoo: I don't think it makes sense to remove the pin | 21:58 |
| litghost | hackerfoo: The routing expression is correct, but the O5 to blackbox connection is missing until the TODO is closed | 21:59 |
| litghost | hackerfoo: Also do ensure that the RAM32X1D that gets packed is the same one as Vivado packs when only one RAM32X1D is in use | 22:00 |
| litghost | hackerfoo: fasm2v lacks control over some aspects of vivado, so if vivado makes a choice we lack control over, we need to make the same choice to ensure consistent bitstreams | 22:00 |
| hackerfoo | Where is fasm2v? I couldn't find it. | 22:04 |
| litghost | https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc7/fasm2bels | 22:05 |
| tpb | Title: symbiflow-arch-defs/xc7/fasm2bels at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 22:05 |
| litghost | And it is used with <target>_bit_v | 22:05 |
| litghost | for xc7 targets | 22:05 |
| hackerfoo | Thanks | 22:07 |
| * hackerfoo sent a long message: < http://sandbox.hackerfoo.com:8008/_matrix/media/v1/download/sandbox.hackerfoo.com/jcxKbzakObEcbLSzDvkuLTGL > | 23:13 | |
| hackerfoo | ^ I get that error on *_bit_v targets. | 23:14 |
| hackerfoo | ram64 -> ram32, now I get AssertionError "AO6" and "CO6" | 23:18 |
| hackerfoo | Is there a *_bit_v target known to work? | 23:20 |
| litghost | Anything under ff_ce_sr | 23:28 |
| litghost | Those are tested via CI | 23:28 |
| litghost | scalable proc when running with https://github.com/SymbiFlow/symbiflow-arch-defs/pull/587 | 23:29 |
| tpb | Title: Make scalable tests debuggable with fasm2v by litghost · Pull Request #587 · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 23:29 |
| litghost | Ah, if thats probably a C/P error ram64 -> ram32 | 23:29 |
| litghost | Yep https://github.com/SymbiFlow/symbiflow-arch-defs/blob/master/xc7/fasm2bels/clb_models.py#L500 and https://github.com/SymbiFlow/symbiflow-arch-defs/blob/master/xc7/fasm2bels/clb_models.py#L503 oaught read "ram32" instead of "ram64" | 23:30 |
| tpb | Title: symbiflow-arch-defs/clb_models.py at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 23:30 |
| hackerfoo | I fixed that, but then run into assertion errors. | 23:30 |
| litghost | Which assertion? | 23:31 |
| litghost | Ah, add_sink -> add_internal_source | 23:31 |
| litghost | https://github.com/SymbiFlow/symbiflow-arch-defs/blob/master/xc7/fasm2bels/clb_models.py#L477 is roughly https://github.com/SymbiFlow/symbiflow-arch-defs/blob/master/xc7/fasm2bels/clb_models.py#L507 | 23:32 |
| tpb | Title: symbiflow-arch-defs/clb_models.py at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 23:32 |
| litghost | Noting of course that it doesn't support the double RAM32 pack | 23:32 |
| hackerfoo | AO6 (ram_test), CO6 (dram_2_32x1d), and others for other targets. | 23:32 |
| litghost | hackerfoo: add_sink -> add_internal_source, per https://github.com/SymbiFlow/symbiflow-arch-defs/blob/master/xc7/fasm2bels/clb_models.py#L477 is roughly https://github.com/SymbiFlow/symbiflow-arch-defs/blob/master/xc7/fasm2bels/clb_models.py#L507 | 23:33 |
| tpb | Title: symbiflow-arch-defs/clb_models.py at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 23:33 |
| litghost | I was also asking which line of code was asserting | 23:33 |
| hackerfoo | File "/home/dusty/src/symbiflow-arch-defs/xc7/fasm2bels/verilog_modeling.py", line 387, in connect_internal | 23:35 |
| hackerfoo | s/add_sink/add_internal_source seemed to fix it, thanks. | 23:38 |
| litghost | yay typos | 23:45 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!
