*** tpb has joined #symbiflow | 00:00 | |
*** craigo has joined #symbiflow | 01:57 | |
*** Degi_ has joined #symbiflow | 03:07 | |
*** Degi has quit IRC | 03:07 | |
*** Degi_ is now known as Degi | 03:07 | |
*** citypw has joined #symbiflow | 03:35 | |
*** _whitelogger has quit IRC | 03:42 | |
*** _whitelogger has joined #symbiflow | 03:44 | |
*** citypw has quit IRC | 04:23 | |
*** futarisIRCcloud has joined #symbiflow | 04:50 | |
*** FFY00_ has quit IRC | 04:54 | |
*** FFY00_ has joined #symbiflow | 05:00 | |
*** kraiskil has joined #symbiflow | 05:52 | |
*** kgugala has quit IRC | 06:11 | |
*** kgugala has joined #symbiflow | 06:11 | |
*** kgugala_ has joined #symbiflow | 06:13 | |
*** kgugala has quit IRC | 06:16 | |
*** kraiskil has quit IRC | 06:46 | |
*** _whitenotifier-5 has quit IRC | 06:57 | |
*** QDX45 has quit IRC | 07:00 | |
*** TMM has quit IRC | 07:09 | |
*** TMM has joined #symbiflow | 07:09 | |
*** shivampotdar has joined #symbiflow | 08:27 | |
*** epony has quit IRC | 08:42 | |
*** futarisIRCcloud has quit IRC | 08:59 | |
*** FFY00_ has quit IRC | 10:06 | |
*** FFY00_ has joined #symbiflow | 10:07 | |
*** epony has joined #symbiflow | 10:21 | |
*** craigo has quit IRC | 11:10 | |
*** craigo has joined #symbiflow | 11:14 | |
*** FFY00_ has quit IRC | 11:19 | |
*** FFY00_ has joined #symbiflow | 11:20 | |
*** FFY00_ has quit IRC | 11:46 | |
*** FFY00_ has joined #symbiflow | 11:47 | |
*** kraiskil has joined #symbiflow | 11:54 | |
*** kraiskil has quit IRC | 12:10 | |
*** mkru has joined #symbiflow | 12:34 | |
*** mkru_ has joined #symbiflow | 13:30 | |
*** mkru has quit IRC | 13:30 | |
*** lethalbit has quit IRC | 13:57 | |
*** lethalbit has joined #symbiflow | 13:59 | |
*** rj has joined #symbiflow | 15:28 | |
*** kraiskil has joined #symbiflow | 15:44 | |
*** rj has quit IRC | 15:53 | |
*** rj has joined #symbiflow | 15:55 | |
*** kraiskil has quit IRC | 15:56 | |
*** rj has quit IRC | 16:38 | |
*** rj has joined #symbiflow | 16:42 | |
*** rj has quit IRC | 16:45 | |
*** rj has joined #symbiflow | 16:45 | |
*** kgugala_ has quit IRC | 17:08 | |
*** kgugala has joined #symbiflow | 17:08 | |
*** rj has quit IRC | 17:20 | |
*** rj has joined #symbiflow | 17:24 | |
*** kraiskil has joined #symbiflow | 17:50 | |
*** rj has quit IRC | 18:05 | |
*** rj has joined #symbiflow | 18:09 | |
*** craigo has quit IRC | 18:10 | |
*** rj has quit IRC | 18:16 | |
*** kraiskil has quit IRC | 18:39 | |
*** kraiskil has joined #symbiflow | 18:47 | |
*** ByteLawd has quit IRC | 18:58 | |
*** ByteLawd has joined #symbiflow | 18:59 | |
*** rj has joined #symbiflow | 19:01 | |
*** rj has quit IRC | 19:33 | |
*** rj has joined #symbiflow | 19:35 | |
litghost | dan.ravensloft: About the constraints, I'm sure you are right, but I'm unclear how to express additional constraints on ABC9 via yosys. Is there documentation I missed around this? | 20:13 |
---|---|---|
sf-slack4 | <dan.ravensloft> The carry chain is integrated with the LUTs, right? | 20:15 |
*** rj has quit IRC | 20:15 | |
litghost | Not sure what you mean by "integrated" in this context? | 20:15 |
sf-slack4 | <dan.ravensloft> I'll try a different approach then: ABC9 thinks it can reduce delay by pruning the carry chain | 20:17 |
litghost | Sure, but by re-merging the LUT's/CARRY, it causes site congestion | 20:17 |
litghost | Especially in the case of a top of carry COUT | 20:18 |
litghost | Where the top of carry is effictively free if the CO[0] -> CIN -> O[0] path is used | 20:18 |
litghost | But from ABC9's perspective it is better to reduce the number of carry cells | 20:18 |
*** rj has joined #symbiflow | 20:19 | |
litghost | It does appear that https://github.com/SymbiFlow/symbiflow-arch-defs/pull/2082 is green, so ABC might be not doing anything bad anymore | 20:20 |
sf-slack4 | <dan.ravensloft> If you look at iCE40, there's `$__ICE40_CARRY_WRAPPER` which joins carry cells and LUTs together into a single cell to represent to ABC9 that it must sweep *both* together. | 20:20 |
litghost | Ok, your suggestion is to form larger cells and not let ABC9 treat them as seperate cells | 20:20 |
sf-slack4 | <dan.ravensloft> Because a box is an atomic "thing" to be removed | 20:21 |
litghost | Sure | 20:21 |
litghost | In this case, I think that isn't what we want. Let me try to explain | 20:21 |
litghost | So after the first synth_xilinx call, there is a valid carry chain and all it's LUTs, but on some levels of the chain, the CO/O outputs may be congested, depending on what is going on with output registration. The "fix_carry.py" applies a handful of transformations to ensure that the site outputs are never congested, but this sometimes means that a LUT is emitted where the CARRY4 block was. Ideally, theses | 20:25 |
litghost | post-carry LUTs would be eligible to be split/merged. Consider a path that looks like add chain (e.g. LUTs into CARRY4) followed by some LUTs and then into sequential logic. After the decongestion, the new path would be LUT -> CARRY4 -> LUT -> LUT. It's the stuff after the CARRY4 I'd like to eligible for analysis and potential merge/split. | 20:25 |
*** kraiskil has quit IRC | 20:35 | |
litghost | pingkan.wewengkang: Depends on what focus you want to have (E.g. part class and design types). We want some help around the new FPGA interchange format (see https://github.com/orgs/SymbiFlow/projects/22) and we are currently doing work on standing up PCIe on 7-series ( | 20:43 |
litghost | pingkan.wewengkang: The 7-series DSP and XADC also need some help if either of those are interesting to you | 20:45 |
*** rj has quit IRC | 21:00 | |
*** rj has joined #symbiflow | 21:03 | |
*** _whitenotifier-4 has joined #symbiflow | 21:09 | |
*** TMM has quit IRC | 21:15 | |
*** TMM has joined #symbiflow | 21:15 | |
*** rj has quit IRC | 21:45 | |
*** rj has joined #symbiflow | 21:49 | |
sf-slack4 | <georgedanielmangum> Hey folks! Does anyone have experience with the linux-on-litex-vexriscv flow? I am having OpenSBI hang for me during boot and wanted to see if anyone would have insight to troubleshoot :) | 21:51 |
*** rj has quit IRC | 22:29 | |
*** rj has joined #symbiflow | 22:31 | |
*** gromero_ has quit IRC | 23:12 | |
sf-slack4 | <dan.ravensloft> @pingkan.wewengkang Alternatively, I could use a hand getting the Intel flow up and running. | 23:12 |
litghost | I didn't realize there was an intel database? | 23:13 |
litghost | Routing or bitstream | 23:13 |
sf-slack4 | <dan.ravensloft> Bitstream | 23:14 |
sf-slack4 | <dan.ravensloft> Including all routing pips | 23:14 |
sf-slack4 | <dan.ravensloft> https://github.com/Ravenslofty/mistral | 23:14 |
*** rj has quit IRC | 23:26 | |
*** rj has joined #symbiflow | 23:30 | |
*** rj has quit IRC | 23:54 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!