#Guix channel for #digitalelectronics design, mainly #vhdl and #fpga.
The list of available packages
https://git.sr.ht/~csantosb/guix.channel-electronics/tree/main/item/packages.md
Includes -next and -latest versions of #guix tagged packages, as well as #gateware code: fw-open-logic, fw-en_cl_fix, osvvm, etc.
Get it
git clone --depth=1 https://git.sr.ht/~csantosb/guix.channel-electronics
Install with:
guix install -L ./guix.channel-electronics PACKAGE
#cocotb, a #freesoftware cosimulation testbench environment for verifying #VHDL and #SystemVerilog #RTL using #Python, is part now of #guixscience channel. It may be used as any other #guix package with a simple
guix install python-cocotb
This means too that pre-built substitutes are available online π₯³.
On using #sourcehut #ci as #guix testing farm.
On combining #guix, #ghdl, #vunit and #sourcehut to perform #ci testing of digital electronic designgs in #vhdl for #fpga, using exclusively #freesoftware.
ci (sourcehut)
It is possible now to run your #vhdl syntheis using #ghdl and @yosyshq with:
guix ghdl-clang ghdl-yosys-plugin -- yosys yourscrip
No mess with dependencies or host configuration, only #guix is necessary.
guix crash course
#ghdl (in its #clang variant), a #freesofware #vhdl analyzer, compiler, simulator and synthesizer, is part now of #guixscience channel. It may be used as any other #guix package with a simple
guix install ghdl-clang
This means too that pre-built substitutes are available online.
#ci testing of a #vhdl project in the #sourcehut build farm.
It runs a #ghdl simulation using the #osvvm verification library, creating a #guix local profile from a manifest file to handle all dependencies. Requirements are pulled from a custom repository. All #reproductible thanks to pinned guix channels.
Custom #guix channel being tested under #sourcehut building farm, the open door to ci/cd of #vhdl designs for #fpga using #FreeSoftware only tooling, with determinism built-in.
https://builds.sr.ht/~csantosb/job/1351960
Even if some issues remain, it is possible to get around them with an appropriate build manifest
Cayetano Santos
csantosb