#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
#openlogic, a #vhdl stdlib library of commonly used components, reusable and vendor/tool-independent, is available now with #guix, using a home made channel. Enjoy !
https://github.com/open-logic/open-logic
#Reproductibilité des résultats de #recherche à l’aide de #GNU / #Guix.
Avec application à la gestion de bibliothèques matérielles.
https://webcast.in2p3.fr/video/reproducibilite-des-resultats-de-recherche-a-laide-de-gnu-guix
Managed to produce a #guix package for #ghdl with #clang backend.
git.sr.ht/~csantosb/csbwiki/tree/master/item/guix.channel.ip.org#L1188
By now, it uses #gnat binaries from alire-project/GNAT-FSF-builds, so it is no a clean implementation. Hopefully, one day we will succeed on bootstrapping ada tooling in a proper way.
guix channels
