| *** tpb has joined #symbiflow | 00:00 | |
| *** sadoon_albader has quit IRC | 00:40 | |
| *** sadoon_albader has joined #symbiflow | 00:45 | |
| *** sadoon_ has joined #symbiflow | 00:50 | |
| *** sadoon_albader has quit IRC | 00:52 | |
| *** sadoon_albader has joined #symbiflow | 01:09 | |
| *** Degi_ has joined #symbiflow | 04:13 | |
| *** Degi has quit IRC | 04:15 | |
| *** Degi_ is now known as Degi | 04:15 | |
| *** titanbiscuit has joined #symbiflow | 05:29 | |
| *** ASHR has joined #symbiflow | 06:10 | |
| *** andrewb1999 has quit IRC | 06:43 | |
| *** ASHR has quit IRC | 07:13 | |
| *** kgugala has quit IRC | 09:00 | |
| *** kgugala has joined #symbiflow | 09:00 | |
| *** hansfbaier has joined #symbiflow | 09:04 | |
| *** sadoon_albader has quit IRC | 09:38 | |
| *** hansfbaier1 has joined #symbiflow | 09:51 | |
| *** hansfbaier has quit IRC | 09:53 | |
| *** zisis_a has joined #symbiflow | 10:12 | |
| -_whitenotifier- [prjxray] acomodi opened issue #1540: Investigate PCIE_2_1 PIPs - https://git.io/JtflW | 11:42 | |
| -_whitenotifier- [prjxray] acomodi opened issue #1541: Investigate PCIE_2_1 configuration parameters - https://git.io/Jtflu | 11:46 | |
| -_whitenotifier- [prjxray] acomodi opened issue #1542: Add PCIE_2_1 primitive to the tilegrid fuzzer - https://git.io/Jtfl2 | 11:48 | |
| *** hansfbaier1 has quit IRC | 12:02 | |
| *** gvb has joined #symbiflow | 12:41 | |
| *** gvb has quit IRC | 12:42 | |
| *** zisis_a has left #symbiflow | 16:12 | |
| *** zisis_a has joined #symbiflow | 17:07 | |
| *** Raito_Bezarius has quit IRC | 17:21 | |
| *** andrewb1999 has joined #symbiflow | 17:36 | |
| *** kgugala_ has joined #symbiflow | 18:26 | |
| *** kgugala__ has joined #symbiflow | 18:28 | |
| *** kgugala has quit IRC | 18:29 | |
| *** kgugala_ has quit IRC | 18:30 | |
| *** kgugala__ has quit IRC | 18:35 | |
| *** kgugala has joined #symbiflow | 18:35 | |
| *** Raito_Bezarius has joined #symbiflow | 18:41 | |
| *** christoss has joined #symbiflow | 18:45 | |
| *** christoss has quit IRC | 18:49 | |
| umarcor | mpictor: see https://github.com/im-tomu/fomu-workshop (examples 'vhdl' and 'mixed-hdl'). Those use Yosys + ghdl-yosys-plugin. Similar makefiles are used in ghdl-yosys-plugin's repo, in microwatt or in https://github.com/dbhi/vboard/tree/main/vga. | 19:02 |
|---|---|---|
| umarcor | mpictor: find packagin alternatives at https://github.com/hdl/packages (fomu-toolchain is based on fpga-toolchain). VHDL support is tested on: containers, MINGW-packages and fpga-toolchain. It is not tested/supported on other packaging projects yet. Some system packagers such as Arch Linux do have user packages, tho. | 19:04 |
| umarcor | GHDL is available on Debian, Ubuntu, CentOS, Fedora, etc. but I'm not sure about ghdl-yosys-plugin or patched Yosys being available there. | 19:05 |
| umarcor | mpictor: if you are interested in formal verification using PSL through GHDL + Yosys + Symbiyosys + [Z3 | Boolector | Yices2 | Super Prove | CVC4 ], let me know. | 19:08 |
| umarcor | mpictor: WRT OCI containers (dockerfiles) see hdl/containers, precisely the context of the docs: https://hdl.github.io/containers/#_context | 19:10 |
| tpb | Title: HDL containers (at hdl.github.io) | 19:10 |
| umarcor | Examples about using those containers for simulation and/or synthesis of VHDL projects are found in e.g. https://github.com/antonblanchard/microwatt or https://github.com/marph91/icestick-remote. The makefiles are similar to the ones used in ghdl-yosys-plugin. | 19:13 |
| *** andrewb1999 has quit IRC | 19:15 | |
| umarcor | having a "higher abstraction level" manager for using containers (instead of Makefiles) is work in progress. PyFPGA has some preliminary support: https://gitlab.com/rodrigomelo9/pyfpga. | 19:15 |
| umarcor | mpictor: after providing all those refs, desired future work is improving the collaboration and coordination with existing SymbiFlow repos. so, adding Verilog to Routing and other missing tools to hdl/containers. E.g. iverilog and verilator should be very easy. | 19:24 |
| umarcor | or, letting SymbiFlows "design management" tools talk to containers. | 19:25 |
| *** andrewb1999 has joined #symbiflow | 19:25 | |
| umarcor | there is a parallel working path for building containers and the CI infrastructure that lets SymbiFlow to be self-tested. that is, linting, style, testing, docs, automatic bumping, etc. All of this is already done and working (see antmicro's org too), but using the virtual environments available on CI services (typically Ubuntu). | 19:27 |
| *** andrewb1999 has quit IRC | 19:49 | |
| *** kraiskil has joined #symbiflow | 19:53 | |
| *** zisis_a has quit IRC | 19:55 | |
| *** hansfbaier has joined #symbiflow | 21:36 | |
| *** zisis_a has joined #symbiflow | 21:42 | |
| *** zisis_a has quit IRC | 21:53 | |
| *** zisis_a has joined #symbiflow | 21:54 | |
| *** kraiskil has quit IRC | 21:54 | |
| *** zisis_a has quit IRC | 22:55 | |
| *** hansfbaier has quit IRC | 23:25 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!