| *** tpb has joined #symbiflow | 00:00 | |
| *** andrewb1999 has quit IRC | 00:07 | |
| *** adjtm has quit IRC | 00:19 | |
| *** adjtm has joined #symbiflow | 00:19 | |
| *** craigo_ has joined #symbiflow | 00:24 | |
| mithro | jfierro: The hope is someone will work on them :-P | 00:49 |
|---|---|---|
| mithro | Anyone seen https://ggeditor.readthedocs.io/en/latest/index.html before? Seems like it could be a way to get some of our many Google Docs into ReadTheDocs / Git Repo | 00:49 |
| tpb | Title: GGeditor GGEditor documentation (at ggeditor.readthedocs.io) | 00:49 |
| mithro | @rwinkler: See above | 00:49 |
| *** futarisIRCcloud has quit IRC | 01:01 | |
| *** andrewb1999 has joined #symbiflow | 01:02 | |
| mithro | Hi andrewb1999 ! | 01:03 |
| andrewb1999 | Hi mithro and everyone else! | 01:07 |
| andrewb1999 | Looking forward to participating in summer of code! | 01:08 |
| mithro | https://summerofcode.withgoogle.com/organizations/6224851964002304/#projects | 01:09 |
| jfierro | Hi andrew! | 01:09 |
| mithro | andrewb1999: Excited to have you working on partial reconfiguration support for SymbiFlow! | 01:14 |
| *** craigo_ has quit IRC | 01:25 | |
| *** craigo has joined #symbiflow | 01:26 | |
| *** rtpg has joined #symbiflow | 01:26 | |
| rtpg | Hi, I was linked to this project while looking at open source options for programming on a basys 3. My project currently uses system verilog, and yosys seems to say that only a small subset of system verilog is supported. Would anyone know what the extent of that support is? | 01:29 |
| jfierro | From my own experience, very little unfortunately :( | 01:31 |
| jfierro | rtpg: But I believe there is an open source SystemVerilog to verilog converter, though I have not personally used it. | 01:32 |
| rtpg | Ah, I might be OK with that. Personally I don't know how people handle verilog without at least structs | 01:33 |
| rtpg | Ah I guess people use macros instead for that :) | 01:33 |
| mithro | rtpg: Or use something like nmigen | 01:34 |
| rtpg | I'm still a bit of an FPGA beginner but being able to just stay inside emacs for everything and not having to sign export agreements for everything is very tempting, so will try and see if I can get my stuff working through _some_ sort of pipeline | 01:34 |
| jfierro | https://github.com/SymbiFlow/sv-tests might have just what you're looking for. | 01:35 |
| tpb | Title: GitHub - SymbiFlow/sv-tests: Test suite designed to check compliance with the SystemVerilog standard. (at github.com) | 01:35 |
| rtpg | ah nmigen looks very cool. Plus it's "Just Python" which is basically my language of choice | 01:36 |
| rtpg | Oh, I was also wondering, is there something equivalent to pytest for building out test suites? I have a couple test benches but I just run them by hand one by one and would like to build out regression tests | 01:38 |
| mithro | rtpg: cocotb or vunit might be what you are looking for | 01:38 |
| mithro | rtpg: There isn't really a "standard" however | 01:38 |
| rtpg | wow, these both look very much like what I was looking for! Thanks a lot | 01:39 |
| rtpg | or at least something in this nature, I don't have a lot of existing code just yet so I can adapt to whatever tools need | 01:40 |
| rtpg | OK, I think I'll start out trying to automate my test benches then will think about how to tackle my other stuff | 01:41 |
| jfierro | While we're on this topic, something I've been meaning to ask is what is the interest in supporting more SV in yosys? I know there's a commercial option that integrates with verific, but I'm wondering if this is simply too much work for the project to care about right now. | 01:42 |
| jfierro | sv_parser has some impressive coverage numbers but it's written in rust, so it would need a C++ binding probably. Also I don't know if yosys bindings for verific are too tied to verific-specific stuff. | 01:43 |
| jfierro | Ah, there's surelog as well. | 01:47 |
| *** futarisIRCcloud has joined #symbiflow | 02:19 | |
| *** Bertl is now known as Bertl_zZ | 02:50 | |
| *** proteus-guy has quit IRC | 03:23 | |
| *** andrewb1999 has quit IRC | 03:30 | |
| *** proteus-guy has joined #symbiflow | 03:37 | |
| *** Degi has quit IRC | 03:44 | |
| *** Degi has joined #symbiflow | 03:44 | |
| *** proteus-guy has quit IRC | 03:50 | |
| *** proteus-guy has joined #symbiflow | 04:02 | |
| *** citypw has joined #symbiflow | 06:01 | |
| *** yeti has quit IRC | 07:09 | |
| *** m_hackerfoo has quit IRC | 07:09 | |
| *** hackerfoo has quit IRC | 07:09 | |
| *** yeti has joined #symbiflow | 07:16 | |
| *** m_hackerfoo has joined #symbiflow | 07:16 | |
| *** hackerfoo has joined #symbiflow | 07:16 | |
| *** OmniMancer1 has joined #symbiflow | 07:17 | |
| *** OmniMancer has quit IRC | 07:20 | |
| *** sf-slack2 has joined #symbiflow | 07:29 | |
| *** tux3 has quit IRC | 07:31 | |
| *** tux3 has joined #symbiflow | 07:32 | |
| *** sf-slack has quit IRC | 07:32 | |
| *** titanbiscuit has quit IRC | 07:53 | |
| *** titanbiscuit has joined #symbiflow | 07:53 | |
| *** jfierro has quit IRC | 07:56 | |
| *** kraiskil has joined #symbiflow | 08:39 | |
| sf-slack2 | <pgielda> https://github.com/antmicro/yosys/tree/uhdm-yosys | 08:43 |
| tpb | Title: GitHub - antmicro/yosys at uhdm-yosys (at github.com) | 08:43 |
| sf-slack2 | <pgielda> There is some work on uhdm frontend | 08:43 |
| sf-slack2 | <pgielda> very early stage | 08:44 |
| *** futarisIRCcloud has quit IRC | 08:49 | |
| *** josi982466 has joined #symbiflow | 10:07 | |
| *** josi98246 has quit IRC | 10:07 | |
| *** nonlinear has quit IRC | 10:29 | |
| *** nonlinear has joined #symbiflow | 10:29 | |
| *** Bertl_zZ has quit IRC | 10:29 | |
| *** Bertl_zZ has joined #symbiflow | 10:29 | |
| *** lambda has quit IRC | 10:30 | |
| *** Bertl_zZ is now known as Bertl | 10:34 | |
| *** lambda has joined #symbiflow | 10:34 | |
| *** kraiskil has quit IRC | 10:39 | |
| *** kraiskil has joined #symbiflow | 10:52 | |
| *** kraiskil has quit IRC | 12:02 | |
| *** futarisIRCcloud has joined #symbiflow | 12:14 | |
| *** kraiskil has joined #symbiflow | 12:15 | |
| *** epony has quit IRC | 12:17 | |
| *** kraiskil has quit IRC | 12:53 | |
| *** andrewb1999 has joined #symbiflow | 12:58 | |
| *** epony has joined #symbiflow | 13:01 | |
| *** craigo has quit IRC | 13:03 | |
| *** kraiskil has joined #symbiflow | 13:06 | |
| *** andrewb1999 has quit IRC | 13:10 | |
| *** kraiskil has quit IRC | 13:18 | |
| *** alexhw has quit IRC | 13:47 | |
| *** andrewb1999 has joined #symbiflow | 15:03 | |
| *** OmniMancer1 has quit IRC | 15:15 | |
| -_whitenotifier-9- [symbiflow-arch-defs] rw1nkler opened issue #1465: "OpenTitan RTL synthesis with Yosys" in hardenedlinux - https://git.io/JfGxw | 15:15 | |
| *** gsmecher has joined #symbiflow | 15:32 | |
| *** citypw has quit IRC | 15:55 | |
| *** Bertl is now known as Bertl_oO | 16:05 | |
| *** kraiskil has joined #symbiflow | 16:52 | |
| *** andrewb1999 has quit IRC | 17:09 | |
| *** adjtm has quit IRC | 17:23 | |
| *** adjtm has joined #symbiflow | 17:24 | |
| *** andrewb1999 has joined #symbiflow | 17:55 | |
| *** az0re has quit IRC | 18:06 | |
| hackerfoo | I have data showing a standard deviation of 10-20% (depending on measure) in run time, for the same test on the same machine (at roughly the same time), without any apparent reason (no swap, plenty of RAM, idle cores.) | 18:14 |
| hackerfoo | This means we'd need 400-500 runs to be 95% confident to 1-2%. | 18:15 |
| hackerfoo | I'm just going to stop worrying about small variances in runtime, I guess. | 18:18 |
| *** kraiskil has quit IRC | 18:20 | |
| *** kraiskil has joined #symbiflow | 18:23 | |
| *** kraiskil has quit IRC | 18:24 | |
| hackerfoo | *the same machine type, not necessarily the same machine. | 18:53 |
| * hackerfoo uploaded an image: Screen Shot 2020-05-05 at 11.57.51 AM.png (62KB) < http://sandbox.hackerfoo.com:8008/_matrix/media/v1/download/sandbox.hackerfoo.com/pKRMxYTxdyWqvmdltxIuUUku > | 18:59 | |
| hackerfoo | https://colab.research.google.com/drive/1EMMHd1UJpKIfu-PfXRmjg5q-6zf1a9yx | 19:03 |
| *** andrewb1999 has quit IRC | 19:16 | |
| *** az0re has joined #symbiflow | 19:27 | |
| *** andrewb1999 has joined #symbiflow | 19:36 | |
| *** robert2 has joined #symbiflow | 19:48 | |
| *** robert2 is now known as rw1nkler | 19:48 | |
| *** mkru has joined #symbiflow | 19:51 | |
| *** mkru has quit IRC | 19:58 | |
| *** andrewb1999 has quit IRC | 20:10 | |
| daveshah | I don't know if you have any low level access to the machine, but I wonder if turning off any turbo boost type features might reduce deviation? | 21:02 |
| *** OmniMancer has joined #symbiflow | 21:16 | |
| hackerfoo | daveshah: Good idea. Unfortunately, I can't find a way to disable turbo. | 21:32 |
| hackerfoo | The all-core vs. single core turbo frequencies for the machine I'm using exactly match the width of the distribution in the above chart. | 21:35 |
| hackerfoo | So that probably explains it. | 21:35 |
| *** andrewb1999 has joined #symbiflow | 21:36 | |
| *** rw1nkler has quit IRC | 23:18 | |
| *** andrewb1999 has quit IRC | 23:57 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!