Uses verification #osvvm library and #openlogic standard #vhdl, along with #ghdl for simulation, #hdlmake for project creation and #yosys for synthesis.
All dependencies are manipulated with a declarative manifest file.
https://git.sr.ht/~csantosb/ip.alu/tree/test/item/.builds/manifest.scm
@adanskana Follow-up, #ghdl 5.0.1 is now part of #guixscience, a #guix specialized channel [1].
Similarly, ghdl-lsp, the #lsp server based on ghdl, has been merged.
Their corresponding -next variants, in the electronics channel [2], provide most recent revisions, not yet released, of both.
guix install ghdl-llvm-next ghdl-lsp-next
[1] https://codeberg.org/guix-science/guix-science.git
[2] https://git.sr.ht/~csantosb/guix.channel-electronics
@adanskana @screwtape If I understood correctly, the #gcc #ghdl backend is to be obsoleted at some point, so the effort to create a #guix package is not worth it.
@adanskana
#ghdl, in its 5.0.1 llvm variant, is hosted in the electronics channel, and waiting to be merged in #guixscience channel (which provides guix substitutes), where it belongs, see
https://codeberg.org/guix-science/guix-science/pulls/87
The reason for not being part of #guix itself is its dependency on #gnat ada compiler, which cannot be bootstraped at this point. Remember we also have ghdl #lsp and the ghdl #yosys plugin.
The channel aggregator is here, by the way: https://toys.whereis.social/
Following my recent post about #GHDL, I was made aware that there is no bootstrap chain for #GNAT! For such a widely used and historically significant language like #Ada (totally not biased), it seems like a strange hole to be left. Plus, it would mean that GNAT could be included in full-source distributions like #Guix.
Thankfully, there is an #NLNet project [1] just for this! I'm glad that there's some real resources being devoted to this. LMK if anyone has news!
Was about to attempt to package #GHDL for #Guix... spent an hour before I stumbled across the guix-electronics[1] channel!! I know there's a channel aggregator somewhere but I always forget to check it before making a package...
Funny that it isn't upstreamed yet though. GHDL seems like a package that would fit into Guix proper very well, we have a `fpga.scm` file already anyway. Perhaps its accomodating all the different compile-time variations?
On combining #guix, #ghdl, #vunit and #sourcehut to perform #ci testing of digital electronic designgs in #vhdl for #fpga, using exclusively #freesoftware.
#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.
With #guix, this is what it takes to produce a netlist for the 7 series of #xilinx #fpga devices.
> guix install yosys-clang ghdl-clang ghdl-yosys-plugin
> yosys -p 'ghdl --std=08 leds; synth_xilinx -top leds -family xc7 -ise'
It uses only #freesoftware, with #yosys and the #ghdl synthesis module as its backend.
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.
@thezoq2 I just tried #surfer for the first time today. Compiled from scratch per the website. I had to file a bug, as it crashes after adding a handful of signals.
I was so hopeful. But for now going back to #gtkwave I'm sad though, because surfer is able to do very simple things like select all the signals at a level and add them to the viewer, whereas gtkwave seems to fight you at every step of the way.
Maybe I need to roll back to a tagged version and rebuild or something. #ghdl #vhdl
Trying to do formal #verification on a #VHDL UART using PSL. the tools are working but I have yet to fully grasp the syntax and possibilities. So far I am finding some interesting corner cases mostly involving reset. #SymbiYosys #GHDL
