| *** tpb has joined #symbiflow | 00:00 | |
| *** sparshgupta has quit IRC | 00:03 | |
| *** sparshgupta has joined #symbiflow | 00:05 | |
| *** sparshgupta has left #symbiflow | 00:05 | |
| *** acomodi has quit IRC | 00:06 | |
| *** Degi_ has joined #symbiflow | 00:40 | |
| *** Degi has quit IRC | 00:43 | |
| *** Degi_ is now known as Degi | 00:43 | |
| *** Vonter has quit IRC | 01:22 | |
| *** Vonter has joined #symbiflow | 01:34 | |
| *** wavedrom1 has joined #symbiflow | 01:49 | |
| *** Degi has quit IRC | 01:55 | |
| *** wavedrom has quit IRC | 02:05 | |
| *** wavedrom has joined #symbiflow | 02:06 | |
| *** Degi has joined #symbiflow | 02:13 | |
| *** citypw has joined #symbiflow | 02:14 | |
| *** az0re has quit IRC | 02:45 | |
| *** az0re has joined #symbiflow | 03:33 | |
| *** Bertl_oO is now known as Bertl_zZ | 04:09 | |
| *** wavedrom has quit IRC | 04:15 | |
| *** nonlinear has quit IRC | 04:17 | |
| *** _whitelogger has quit IRC | 04:30 | |
| *** _whitelogger has joined #symbiflow | 04:32 | |
| *** _whitelogger has quit IRC | 04:39 | |
| *** _whitelogger has joined #symbiflow | 04:41 | |
| *** wavedrom has joined #symbiflow | 04:51 | |
| *** nonlinear has joined #symbiflow | 05:01 | |
| *** wavedrom has quit IRC | 05:19 | |
| *** wavedrom has joined #symbiflow | 05:38 | |
| daniellimws | mithro: Am I right to say everything inside https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/vpr are meant to be test cases for VPR? | 06:27 |
|---|---|---|
| tpb | Title: symbiflow-arch-defs/vpr at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 06:27 |
| *** wavedrom has quit IRC | 06:32 | |
| *** OmniMancer has joined #symbiflow | 06:42 | |
| *** OmniMancer1 has quit IRC | 06:45 | |
| mithro | daniellimws: Common building blocks for creating VPR architectures | 07:14 |
| mithro | timo.callahan: Take a look at the https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/xc7/tests/soc/litex | 07:15 |
| tpb | Title: symbiflow-arch-defs/xc/xc7/tests/soc/litex at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 07:15 |
| mithro | https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/xc7/tests/soc/litex/mini_ddr | 07:15 |
| tpb | Title: symbiflow-arch-defs/xc/xc7/tests/soc/litex/mini_ddr at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 07:15 |
| mithro | Bed time for me | 07:16 |
| *** tcal has quit IRC | 08:00 | |
| *** tcal has joined #symbiflow | 08:03 | |
| *** kraiskil has joined #symbiflow | 08:04 | |
| -_whitenotifier-3- [symbiflow-arch-defs] acomodi opened issue #1400: Diff tests fail for BRAM test 36 - https://git.io/JvA4x | 08:21 | |
| *** Vonter has quit IRC | 09:31 | |
| *** Vonter has joined #symbiflow | 09:48 | |
| *** Bertl_zZ is now known as Bertl | 10:06 | |
| *** adjtm_ has quit IRC | 10:36 | |
| *** adjtm has joined #symbiflow | 10:42 | |
| *** adjtm has joined #symbiflow | 10:43 | |
| *** kraiskil has quit IRC | 11:12 | |
| *** rvalles has quit IRC | 12:27 | |
| *** rvalles has joined #symbiflow | 12:39 | |
| *** rvalles has quit IRC | 12:44 | |
| *** rvalles has joined #symbiflow | 12:46 | |
| daniellimws | mithro: Adding to my question earlier, are the makefiles under vpr/muxes https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/vpr/muxes/logic meant to generate the pbxml files from the verilog sources, hence the purpose of the test cases? Asking because I was not able to generate the xml files, and not exactly sure what the verilog sources are for | 13:50 |
| tpb | Title: symbiflow-arch-defs/vpr/muxes/logic at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 13:50 |
| *** kraiskil has joined #symbiflow | 14:10 | |
| mithro | daniellimws: The code to convert verilog to pbxml has moved to https://github.com/SymbiFlow/python-symbiflow-v2x | 14:20 |
| tpb | Title: GitHub - SymbiFlow/python-symbiflow-v2x: Tool for converting specialized annotated Verilog models into XML needed for Verilog to Routing flow. (at github.com) | 14:20 |
| mithro | daniellimws: Test cases for that conversion tool at under https://github.com/SymbiFlow/python-symbiflow-v2x/tree/master/tests | 14:20 |
| tpb | Title: python-symbiflow-v2x/tests at master · SymbiFlow/python-symbiflow-v2x · GitHub (at github.com) | 14:20 |
| daniellimws | mithro: So should I still implement test cases under vpr/ in symbiflow-arch-defs? | 14:26 |
| mithro | daniellimws: Depends on what you are trying to do? | 14:31 |
| mithro | Apologize if you have told me previously, I have a pretty bad memory | 14:31 |
| daniellimws | Hmm, now just finding somewhere I can contribute to while learning more about FPGA primitives | 14:31 |
| daniellimws | I suppose this isn't the best place? | 14:31 |
| mithro | daniellimws: Expanding out the examples in v2x could be a good place to look into (which would be under https://github.com/SymbiFlow/python-symbiflow-v2x/tree/master/tests) | 14:32 |
| tpb | Title: python-symbiflow-v2x/tests at master · SymbiFlow/python-symbiflow-v2x · GitHub (at github.com) | 14:32 |
| mithro | daniellimws: If you are looking at potentially writing cocotb tests, I would suggest looking at the xc7 primitives for LUTRAM / BRAM | 14:33 |
| daniellimws | mithro: I'm wondering if cocotb tests are needed for vpr design sources? I don't see any in that repo. Or are they good to have but no one has added them yet? | 14:35 |
| mithro | daniellimws: However a bunch of the v2x functionality is broken for xc7 primitives | 14:35 |
| mithro | daniellimws: cocotb tests are probably not needed for the stuff under the vpr directory -- that would be more feeling out how the cocotb tests should be integrated | 14:36 |
| daniellimws | mithro: Could you suggest any primitives that I can add? And how would I verify that they are correct? | 14:39 |
| *** citypw has quit IRC | 14:42 | |
| *** OmniMancer has quit IRC | 14:58 | |
| *** Bertl is now known as Bertl_oO | 15:00 | |
| *** bunnie[m] has left #symbiflow | 15:05 | |
| mithro | daniellimws: I think it is mostly verifying primitives at the moment rather than adding them | 15:06 |
| mithro | acomodi: ping? | 15:07 |
| mithro | acomodi: Why is there an empty directory here -> https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/common/primitives/ramb18e1 | 15:07 |
| tpb | Title: symbiflow-arch-defs/xc/common/primitives/ramb18e1 at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 15:07 |
| *** nrossi has left #symbiflow | 15:08 | |
| *** nrossi has quit IRC | 15:08 | |
| mithro | daniellimws: https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/common/primitives/bram | 15:08 |
| tpb | Title: symbiflow-arch-defs/xc/common/primitives/bram at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 15:08 |
| mithro | daniellimws: https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/common/primitives/slicem | 15:09 |
| tpb | Title: symbiflow-arch-defs/xc/common/primitives/slicem at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 15:09 |
| sf-slack | <acomodi> @mithro: I believe those are not used anymore? They have been moved to https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/common/primitives/bram | 15:11 |
| tpb | Title: symbiflow-arch-defs/xc/common/primitives/bram at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 15:11 |
| -_whitenotifier-3- [symbiflow-arch-defs] mithro opened issue #1401: Empty directories with just CMakefiles? - https://git.io/JvAM6 | 15:11 | |
| sf-slack | <acomodi> probably a leftover during the refactoring of the xc7 tree | 15:11 |
| sf-slack | <acomodi> Uncaught by CI as the ramb18e1 and rambfifo36 subdirectories were not included in the CMakeLists.txt | 15:12 |
| -_whitenotifier-3- [symbiflow-arch-defs] mithro opened issue #1402: Broken documentation for dram - https://git.io/JvAM9 | 15:13 | |
| mithro | acomodi: We should add something in the CI which detects CMakeLists.txt files which are not included. | 15:14 |
| -_whitenotifier-3- [symbiflow-arch-defs] mithro opened issue #1403: Add CI to detect CMakeLists.txt files which are not used / dead - https://git.io/JvAM5 | 15:14 | |
| *** kraiskil has quit IRC | 15:16 | |
| *** kraiskil has joined #symbiflow | 15:28 | |
| daniellimws | mithro: Are you suggesting that I add the bram and slicem primitives to https://github.com/SymbiFlow/python-symbiflow-v2x/tree/master/tests ? | 15:49 |
| tpb | Title: python-symbiflow-v2x/tests at master · SymbiFlow/python-symbiflow-v2x · GitHub (at github.com) | 15:49 |
| mithro | daniellimws: We should figure out why v2x isn't being used for those primitives, fix the v2x and add them as tests to prevent regression | 15:52 |
| *** kraiskil has quit IRC | 16:00 | |
| *** kraiskil has joined #symbiflow | 16:00 | |
| *** proteus-guy has quit IRC | 16:01 | |
| *** wavedrom has joined #symbiflow | 16:03 | |
| daniellimws | mithro: The xml files inside https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/common/primitives/bram and etc are generated by vendor tools, right? And we want to add tests that generate xml from verilog using v2x, then compare the ones generated by vendor tools with the ones by v2x. Am I getting the right idea? | 16:03 |
| tpb | Title: symbiflow-arch-defs/xc/common/primitives/bram at master · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com) | 16:03 |
| *** adjtm_ has joined #symbiflow | 16:04 | |
| *** adjtm has quit IRC | 16:06 | |
| *** ZipCPU has quit IRC | 16:07 | |
| *** wavedrom has quit IRC | 16:09 | |
| *** wavedrom has joined #symbiflow | 16:10 | |
| *** ZipCPU has joined #symbiflow | 16:14 | |
| -_whitenotifier-3- [symbiflow-arch-defs] kgugala opened issue #1405: Add an cmake option to disable a200t installtion - https://git.io/JvA9f | 16:17 | |
| *** proteus-guy has joined #symbiflow | 16:27 | |
| *** kraiskil has quit IRC | 17:05 | |
| *** kraiskil has joined #symbiflow | 17:10 | |
| lambda | I'm trying to use nextpnr for an xc7a35tfgg484-1 - I see that package is already in the database for the xc7a50t, how much effort would it be to adapt that for the 35? | 17:31 |
| ZirconiumX | daveshah: ^ | 17:34 |
| daveshah | This is a prjxray issue, not a nextpnr one | 17:35 |
| daveshah | It shouldn't be a big patch at all, copy all the files and just change the idcode though | 17:35 |
| daveshah | After all they are the same silicon | 17:35 |
| lambda | wait, which ones, all the 35t's or the 35tfgg484 and the 50tfgg484? | 17:36 |
| daveshah | All of the above afaik | 17:36 |
| daveshah | I don't think there are any genuinely 35t parts | 17:37 |
| lambda | huh, didn't know that | 17:37 |
| daveshah | The number is made up anyway, it's a LUT4 equivalence so 0.625 LUT6s per notional unit or thereabouts | 17:38 |
| ZirconiumX | It's funny to compare across vendors. Altera/Intel use 0.4 ALM LUT6s per LUT4, because of the input overprovisioning | 17:39 |
| ZirconiumX | It's still a made-up number, but the architectural difference is fun | 17:40 |
| *** Bertl_oO is now known as Bertl | 17:55 | |
| *** kraiskil has quit IRC | 18:47 | |
| litghost | lambda: We have a short cut for adding 35T/50T parts because of the same underlying silicon, see here: https://github.com/SymbiFlow/prjxray/blob/759b4c700d1db7cb096c9c6bcf62c55aecfa07f3/Makefile#L182-L185 | 19:28 |
| tpb | Title: prjxray/Makefile at 759b4c700d1db7cb096c9c6bcf62c55aecfa07f3 · SymbiFlow/prjxray · GitHub (at github.com) | 19:28 |
| litghost | lambda: But what daveshah said is basically what is happening | 19:29 |
| litghost | lambda: Feel free to submit a PR adding packages you are interested in | 19:30 |
| lambda | litghost: sorry, I can't figure out where the extra parts are actually coming from (granted I don't really know much about the xray infrastructure at all). the only mentions of e.g. "csg324" I can find are in minitests/, which from my understanding is just used for testing, not the actual database. | 20:05 |
| litghost | I linked where the extra parts are coming from | 20:09 |
| litghost | Each line that calls into "make -C fuzzer roi_only" is for a new part using a piece of silicon already documented | 20:09 |
| litghost | So we have tilegrid address for the A50T (35T as well) and A200T silicon, but only a subset of the packages for each | 20:10 |
| lambda | litghost: so the xc7a35tcsg324-1 part is created using some Arty minitests? | 20:17 |
| litghost | Sort of. The arty minitests define XRAY_PART as xc7a35tcsg324-1, XRAY_EQUIV_PART as c7a50tfgg484-1 (e.g. which tilegrid/tileconn to use) plus some example IO's for use with the fuzzer | 20:20 |
| litghost | See https://github.com/SymbiFlow/prjxray/blob/master/minitests/roi_harness/arty-common.sh | 20:20 |
| tpb | Title: prjxray/arty-common.sh at master · SymbiFlow/prjxray · GitHub (at github.com) | 20:20 |
| litghost | XRAY_PIN_00 should a CCIO pin | 20:24 |
| lambda | litghost: oh, I see now, roi_only does all the real magic | 20:27 |
| litghost | lambda: Ya. That target name is poorly named, but yes | 20:28 |
| lambda | litghost: so mashing together settings/artix7.sh for the fgg484 pins and minitests/roi_harness/arty-common.sh for the EQUIV_PART stuff should do? | 20:32 |
| litghost | Ya | 20:32 |
| litghost | There is an example of this with the A200T here: https://github.com/SymbiFlow/prjxray/blob/759b4c700d1db7cb096c9c6bcf62c55aecfa07f3/Makefile#L182-L185 | 20:32 |
| tpb | Title: prjxray/Makefile at 759b4c700d1db7cb096c9c6bcf62c55aecfa07f3 · SymbiFlow/prjxray · GitHub (at github.com) | 20:32 |
| litghost | Which is what I linked you earlier | 20:32 |
| lambda | right, just didn't really know what was going on there without the background info - thanks, I'll have a go at that then :) | 20:33 |
| litghost | If you make a PR, maybe a nice comment would be good :) | 20:33 |
| *** futarisIRCcloud has joined #symbiflow | 20:34 | |
| lambda | sure | 20:34 |
| *** OmniMancer has joined #symbiflow | 21:23 | |
| *** futarisIRCcloud has quit IRC | 22:43 | |
| tcal | litghost: with https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/xc7/tests/soc/litex/base, does the Linux image need to either be flashed or be transferred over tftp? Or can it be transferred over the serial connection (i.e. using lxterm)? | 23:49 |
| litghost | tcal: Not sure. We should update the readme with specific instructions | 23:50 |
| tcal | Oh, I think I need to dig deeper into https://github.com/timvideos/litex-buildenv/wiki/Linux | 23:51 |
| tpb | Title: Linux · timvideos/litex-buildenv Wiki · GitHub (at github.com) | 23:51 |
| tcal | The other demo I ran was using buildroot/ to build the Linux images. I think this is a different method. | 23:53 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!