| *** tpb has joined #symbiflow | 00:00 | |
| *** kraiskil has quit IRC | 01:56 | |
| *** freemint has quit IRC | 02:04 | |
| *** freemint has joined #symbiflow | 02:05 | |
| *** freemint has quit IRC | 02:36 | |
| -_whitenotifier-f- [sv-tests] zachjs opened issue #457: Bumping dependencies - https://git.io/Je6go | 03:19 | |
| *** citypw has joined #symbiflow | 03:41 | |
| *** nrossi has joined #symbiflow | 03:49 | |
| *** dnotq has quit IRC | 03:52 | |
| *** Bertl_oO is now known as Bertl_zZ | 05:12 | |
| *** proteus-guy has joined #symbiflow | 05:52 | |
| *** Vonter_ has quit IRC | 05:57 | |
| *** Vonter has joined #symbiflow | 06:21 | |
| *** davidthings has quit IRC | 06:46 | |
| *** OmniMancer has joined #symbiflow | 07:15 | |
| *** freemint has joined #symbiflow | 07:37 | |
| *** owlhawk has joined #symbiflow | 07:49 | |
| *** freemint has quit IRC | 07:53 | |
| *** owlhawk has quit IRC | 08:05 | |
| *** freemint has joined #symbiflow | 08:10 | |
| *** freemint has quit IRC | 08:15 | |
| *** freemint has joined #symbiflow | 08:26 | |
| *** Vonter has quit IRC | 08:28 | |
| *** Vonter has joined #symbiflow | 08:30 | |
| *** kraiskil has joined #symbiflow | 08:37 | |
| *** celadon_ has joined #symbiflow | 08:53 | |
| *** Vonter has quit IRC | 08:53 | |
| *** celadon has quit IRC | 08:54 | |
| *** Vonter has joined #symbiflow | 08:55 | |
| *** mkru has joined #symbiflow | 09:16 | |
| *** freemint has quit IRC | 09:19 | |
| *** freemint has joined #symbiflow | 09:37 | |
| *** freemint has quit IRC | 09:42 | |
| *** freemint has joined #symbiflow | 09:43 | |
| *** proteus-guy has quit IRC | 09:49 | |
| -_whitenotifier-f- [conda-packages] tgorochowik opened issue #59: Invalid packages versioning - https://git.io/Je6wi | 09:50 | |
| *** kraiskil has quit IRC | 10:17 | |
| *** proteus-guy has joined #symbiflow | 10:30 | |
| *** Vonter has quit IRC | 10:51 | |
| *** freemint has quit IRC | 11:31 | |
| *** freemint has joined #symbiflow | 11:44 | |
| *** kraiskil has joined #symbiflow | 11:55 | |
| *** freemint has quit IRC | 12:02 | |
| *** freemint has joined #symbiflow | 12:10 | |
| *** Vonter has joined #symbiflow | 12:16 | |
| *** freemint has quit IRC | 12:53 | |
| *** freemint has joined #symbiflow | 12:55 | |
| *** freemint has quit IRC | 13:08 | |
| *** freemint has joined #symbiflow | 13:08 | |
| -_whitenotifier-f- [sv-tests] MikePopoloski opened issue #458: Problem with the CI build's slang binary? - https://git.io/Je6i7 | 13:10 | |
| *** kraiskil has quit IRC | 13:51 | |
| *** Bertl_zZ is now known as Bertl | 13:55 | |
| *** freemint has quit IRC | 14:01 | |
| *** a79 has joined #symbiflow | 14:32 | |
| *** a79 has quit IRC | 14:35 | |
| *** OmniMancer has quit IRC | 14:37 | |
| *** davidthings has joined #symbiflow | 14:43 | |
| *** freemint has joined #symbiflow | 14:52 | |
| *** freemint has quit IRC | 15:05 | |
| *** freemint has joined #symbiflow | 15:05 | |
| *** citypw has quit IRC | 15:31 | |
| *** clacktronics has quit IRC | 15:38 | |
| *** clacktronics has joined #symbiflow | 15:39 | |
| *** davidthings has quit IRC | 15:52 | |
| *** davidthings has joined #symbiflow | 15:52 | |
| *** davidthings has quit IRC | 15:55 | |
| *** davidthings has joined #symbiflow | 15:55 | |
| *** davidthings has quit IRC | 16:03 | |
| *** davidthings has joined #symbiflow | 16:03 | |
| *** freemint has quit IRC | 16:06 | |
| *** kraiskil has joined #symbiflow | 16:13 | |
| *** davidthings has quit IRC | 16:19 | |
| *** davidthings has joined #symbiflow | 16:20 | |
| *** davidthings has quit IRC | 16:33 | |
| *** davidthings has joined #symbiflow | 16:34 | |
| *** davidthings has quit IRC | 16:53 | |
| *** davidthings has joined #symbiflow | 16:54 | |
| *** davidthings has quit IRC | 16:57 | |
| *** davidthings has joined #symbiflow | 16:58 | |
| *** freemint has joined #symbiflow | 17:08 | |
| *** davidthings has quit IRC | 17:11 | |
| *** davidthings has joined #symbiflow | 17:12 | |
| *** davidthings has quit IRC | 17:36 | |
| *** davidthings has joined #symbiflow | 17:36 | |
| *** davidthings has quit IRC | 17:53 | |
| *** davidthings has joined #symbiflow | 17:54 | |
| *** davidthings has quit IRC | 17:56 | |
| *** davidthings has joined #symbiflow | 17:56 | |
| *** davidthings has quit IRC | 18:04 | |
| *** davidthings has joined #symbiflow | 18:05 | |
| -_whitenotifier-f- [vtr-verilog-to-routing] litghost opened issue #327: Branch: length_bounded - https://git.io/Je69N | 18:05 | |
| *** davidthings has quit IRC | 18:06 | |
| *** davidthings has joined #symbiflow | 18:06 | |
| *** davidthings has joined #symbiflow | 18:07 | |
| *** mkru has quit IRC | 18:49 | |
| *** davidthings has quit IRC | 18:51 | |
| *** davidthings has joined #symbiflow | 18:52 | |
| mithro | vaughnbetz: Hi! Welcome to IRC :-) | 19:33 |
|---|---|---|
| *** Xiretza has joined #symbiflow | 20:01 | |
| Xiretza | good evening, I haven't been able to find much up-to-date information on this, so I thought I'd ask here: broadly approximated, how far along is Project Xray? Is something like nextpnr integration for (partial) bitstream generation anywhere close or does it need a lot more work for that to happen? | 20:15 |
| litghost | Xiretza: We can place and route on Artix 50T class parts | 20:16 |
| litghost | e.g. basys3, arty, etc | 20:16 |
| litghost | We support LUTs/FFs/LUT-RAMs/BRAMs/single ended ios | 20:16 |
| litghost | PLL support is kind of working | 20:16 |
| litghost | IOSERDES is actually being worked on | 20:16 |
| litghost | differential IO is being worked on | 20:17 |
| litghost | DSP support is early, we are missing many bits and lack P&R support | 20:17 |
| litghost | P&R support is mostly being done via VPR in https://github.com/SymbiFlow/symbiflow-arch-defs | 20:18 |
| tpb | Title: GitHub - SymbiFlow/symbiflow-arch-defs: FOSS architecture definitions of FPGA hardware useful for doing PnR device generation. (at github.com) | 20:18 |
| litghost | There is also preliminary nextpnr fork using prjxray | 20:18 |
| litghost | Larger class parts may work with symbiflow-arch-defs, but will likely consume an excessive amoung of RAM | 20:20 |
| Xiretza | litghost: oh, nice! I had no idea it was that far already. I'd love to help (at least with fuzzing, anything else is a bit over my head), maybe I'll set up vivado 2017 on a build server some day ;) | 20:20 |
| litghost | So we've started to get momentum on DSP bit definitions | 20:21 |
| litghost | The next thing for DSP work is likely a minitest and determining how many unknown bits are left | 20:21 |
| litghost | Here is an example minitest for OSERDES: https://github.com/SymbiFlow/prjxray/tree/master/minitests/oserdes | 20:22 |
| tpb | Title: prjxray/minitests/oserdes at master · SymbiFlow/prjxray · GitHub (at github.com) | 20:22 |
| litghost | We need something like that for DSP, which doubles as having two purposes | 20:22 |
| litghost | It provides examples to test once we are ready to integrated into https://github.com/SymbiFlow/symbiflow-arch-defs | 20:23 |
| tpb | Title: GitHub - SymbiFlow/symbiflow-arch-defs: FOSS architecture definitions of FPGA hardware useful for doing PnR device generation. (at github.com) | 20:23 |
| litghost | It also shows how many unknown bits we have for using the DSP | 20:23 |
| *** Bertl is now known as Bertl_oO | 20:25 | |
| Xiretza | I read through the RTD docs, but there's still quite a leap from that to all the stuff that happens in the prjxray repo, most of which I can't make any sense of ;) | 20:26 |
| Xiretza | add to that that I don't really know any verilog, and it becomes somewhat impossible to do much more than follow the quickstart guide. If I find the time and disk space I'll run some fuzzers though - are those designed as distributed computing so that anyone can run them to help the project, or more as tools for people who already know what they're doing? | 20:34 |
| *** nrossi has quit IRC | 20:44 | |
| *** davidthings has quit IRC | 21:03 | |
| *** davidthings has joined #symbiflow | 21:04 | |
| *** davidthings has quit IRC | 21:08 | |
| *** davidthings has joined #symbiflow | 21:10 | |
| *** davidthings has quit IRC | 21:10 | |
| *** ZipCPU_ has joined #symbiflow | 21:11 | |
| *** davidthings has joined #symbiflow | 21:11 | |
| *** ZipCPU has quit IRC | 21:12 | |
| *** fengling has quit IRC | 21:12 | |
| *** davidthings has quit IRC | 21:13 | |
| *** davidthings has joined #symbiflow | 21:13 | |
| *** ZipCPU_ is now known as ZipCPU | 21:14 | |
| *** davidthings has quit IRC | 21:15 | |
| *** fengling has joined #symbiflow | 21:15 | |
| *** davidthings has joined #symbiflow | 21:15 | |
| litghost | There is a CI for the fuzzers, so the full run doesn't need to be run be folks. Individual runs can be done on a single system without too many resources besides disk | 21:16 |
| *** davidthings has quit IRC | 21:39 | |
| *** davidthings has joined #symbiflow | 21:40 | |
| *** freemint has quit IRC | 21:48 | |
| *** freemint has joined #symbiflow | 21:48 | |
| *** david__ has joined #symbiflow | 21:59 | |
| *** davidthings has quit IRC | 21:59 | |
| Xiretza | litghost: oh, so am I understanding correctly that running the fuzzers myself doesn't actually produce any more information, and what actually needs to be done is writing more fuzzers/expanding existing ones (which requires understanding the system instead of just some computing power)? | 22:17 |
| litghost | Xiretza: Yep, that's it | 22:17 |
| litghost | Here is an example: https://github.com/SymbiFlow/prjxray/pull/1080 | 22:18 |
| tpb | Title: DSP - Add Attribute Fuzzing by JakeMercer · Pull Request #1080 · SymbiFlow/prjxray · GitHub (at github.com) | 22:18 |
| Xiretza | litghost: ah, that's unfortunate. I thought I might be able to help by just donating some resources, but this is way over my head and I'm afraid I don't have the time to try to read into it at the moment. | 22:23 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!