#ghdl — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ghdl, aggregated by home.social.
-
Trying to get `ghdl-lsp` working on #Guix. Running the program from the terminal gives the following error: https://paste.debian.net/1371473/. Does anyone know how to fix this? I have `ghdl-llvm` and `ghdl-lsp` in the same profile, so how could it be unable to find the package?
-
Trying to get `ghdl-lsp` working on #Guix. Running the program from the terminal gives the following error: https://paste.debian.net/1371473/. Does anyone know how to fix this? I have `ghdl-llvm` and `ghdl-lsp` in the same profile, so how could it be unable to find the package?
-
Trying to get `ghdl-lsp` working on #Guix. Running the program from the terminal gives the following error: https://paste.debian.net/1371473/. Does anyone know how to fix this? I have `ghdl-llvm` and `ghdl-lsp` in the same profile, so how could it be unable to find the package?
-
Trying to get `ghdl-lsp` working on #Guix. Running the program from the terminal gives the following error: https://paste.debian.net/1371473/. Does anyone know how to fix this? I have `ghdl-llvm` and `ghdl-lsp` in the same profile, so how could it be unable to find the package?
-
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!
-
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!
-
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!
-
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!
-
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?
-
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?
-
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?
-
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?
-
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?
-
Over the months I've put so many hours into trying to get GHDL to work on all Debian architectures, but now I've finally cut my losses and uploaded a new version 4.1.0+dfsg-4 restricted to the architectures that actually work (but hey, amd64 and arm64 are included) to unstable.
There's some serious work that would need to be done to make it portable (and I attempted some of it) and I don't think it's worth it.
-
Over the months I've put so many hours into trying to get GHDL to work on all Debian architectures, but now I've finally cut my losses and uploaded a new version 4.1.0+dfsg-4 restricted to the architectures that actually work (but hey, amd64 and arm64 are included) to unstable.
There's some serious work that would need to be done to make it portable (and I attempted some of it) and I don't think it's worth it.
-
@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
-
@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
-
@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
-
@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
-
@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
-
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
-
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
-
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
-
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
-
hdlmake.mk (https://tumbleweed.nu/r/hdlmake.mk) now works really nice with #ghdl. #LispMachine hacking on a slight tangent.
-
hdlmake.mk (https://tumbleweed.nu/r/hdlmake.mk) now works really nice with #ghdl. #LispMachine hacking on a slight tangent.
-
hdlmake.mk (https://tumbleweed.nu/r/hdlmake.mk) now works really nice with #ghdl. #LispMachine hacking on a slight tangent.
-
Exciting - didn't know how easy it was to generate #GitLab #JUnit #ci test files, to precisely see which tests failed!
Sure, the source of the files is a ... Somewhat creatively assembled bash script.
But it works!
We're currently helping set up automated CI simulation of #VHDL using a #GHDL docker image, to verify parts of the #CERN quench detection #FPGA code - and it's looking pretty good so far!
-
Exciting - didn't know how easy it was to generate #GitLab #JUnit #ci test files, to precisely see which tests failed!
Sure, the source of the files is a ... Somewhat creatively assembled bash script.
But it works!
We're currently helping set up automated CI simulation of #VHDL using a #GHDL docker image, to verify parts of the #CERN quench detection #FPGA code - and it's looking pretty good so far!
-
Exciting - didn't know how easy it was to generate #GitLab #JUnit #ci test files, to precisely see which tests failed!
Sure, the source of the files is a ... Somewhat creatively assembled bash script.
But it works!
We're currently helping set up automated CI simulation of #VHDL using a #GHDL docker image, to verify parts of the #CERN quench detection #FPGA code - and it's looking pretty good so far!
-
Exciting - didn't know how easy it was to generate #GitLab #JUnit #ci test files, to precisely see which tests failed!
Sure, the source of the files is a ... Somewhat creatively assembled bash script.
But it works!
We're currently helping set up automated CI simulation of #VHDL using a #GHDL docker image, to verify parts of the #CERN quench detection #FPGA code - and it's looking pretty good so far!
-
034/ #100daystooffload #phloggersgarage small vignette on #lispm #lisp and #microcode d #fpga s. Not pictured is me poking through journals for some inspiration, nor that I think I will do a fresh #dragonflybsd install to the host llvm- #ghdl . @amszmidt
advice/commentary plz<3
#gopher
gopher://tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
gopher://tilde.club/1/~screwtape/synthember-100days-tooffload/
web proxy
https://gopher.tildeverse.org/tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
https://gopher.tildeverse.org/tilde.club/1/~screwtape/synthember-100days-tooffload/ -
034/ #100daystooffload #phloggersgarage small vignette on #lispm #lisp and #microcode d #fpga s. Not pictured is me poking through journals for some inspiration, nor that I think I will do a fresh #dragonflybsd install to the host llvm- #ghdl . @amszmidt
advice/commentary plz<3
#gopher
gopher://tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
gopher://tilde.club/1/~screwtape/synthember-100days-tooffload/
web proxy
https://gopher.tildeverse.org/tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
https://gopher.tildeverse.org/tilde.club/1/~screwtape/synthember-100days-tooffload/ -
034/ #100daystooffload #phloggersgarage small vignette on #lispm #lisp and #microcode d #fpga s. Not pictured is me poking through journals for some inspiration, nor that I think I will do a fresh #dragonflybsd install to the host llvm- #ghdl . @amszmidt
advice/commentary plz<3
#gopher
gopher://tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
gopher://tilde.club/1/~screwtape/synthember-100days-tooffload/
web proxy
https://gopher.tildeverse.org/tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
https://gopher.tildeverse.org/tilde.club/1/~screwtape/synthember-100days-tooffload/ -
034/ #100daystooffload #phloggersgarage small vignette on #lispm #lisp and #microcode d #fpga s. Not pictured is me poking through journals for some inspiration, nor that I think I will do a fresh #dragonflybsd install to the host llvm- #ghdl . @amszmidt
advice/commentary plz<3
#gopher
gopher://tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
gopher://tilde.club/1/~screwtape/synthember-100days-tooffload/
web proxy
https://gopher.tildeverse.org/tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
https://gopher.tildeverse.org/tilde.club/1/~screwtape/synthember-100days-tooffload/ -
034/ #100daystooffload #phloggersgarage small vignette on #lispm #lisp and #microcode d #fpga s. Not pictured is me poking through journals for some inspiration, nor that I think I will do a fresh #dragonflybsd install to the host llvm- #ghdl . @amszmidt
advice/commentary plz<3
#gopher
gopher://tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
gopher://tilde.club/1/~screwtape/synthember-100days-tooffload/
web proxy
https://gopher.tildeverse.org/tilde.club/0/~screwtape/synthember-100days-tooffload/034-lispm-and-microcode.txt
https://gopher.tildeverse.org/tilde.club/1/~screwtape/synthember-100days-tooffload/ -
Our amazing IT department is finally getting around to a ticket I submitted in April regarding unfucking their security software and a #VHDL language server (https://github.com/VHDL-LS/rust_hdl). So I tinkered with the newest version of it this morning and it seems to still have the same errors as before. Seems to completely fail to pick up certain files and then also doesn't support genericized packages, based on how it's throwing a fit over #OSVVM. Might have to see if I can get #GHDL working on Windows without too much annoyance.
Don't have too much hope though. On the plus side I don't NEED it. It'd just be a nice to have capability and I'd like to experiment with Emacs #eglot with my language of choice.
-
Our amazing IT department is finally getting around to a ticket I submitted in April regarding unfucking their security software and a #VHDL language server (https://github.com/VHDL-LS/rust_hdl). So I tinkered with the newest version of it this morning and it seems to still have the same errors as before. Seems to completely fail to pick up certain files and then also doesn't support genericized packages, based on how it's throwing a fit over #OSVVM. Might have to see if I can get #GHDL working on Windows without too much annoyance.
Don't have too much hope though. On the plus side I don't NEED it. It'd just be a nice to have capability and I'd like to experiment with Emacs #eglot with my language of choice.
-
Our amazing IT department is finally getting around to a ticket I submitted in April regarding unfucking their security software and a #VHDL language server (https://github.com/VHDL-LS/rust_hdl). So I tinkered with the newest version of it this morning and it seems to still have the same errors as before. Seems to completely fail to pick up certain files and then also doesn't support genericized packages, based on how it's throwing a fit over #OSVVM. Might have to see if I can get #GHDL working on Windows without too much annoyance.
Don't have too much hope though. On the plus side I don't NEED it. It'd just be a nice to have capability and I'd like to experiment with Emacs #eglot with my language of choice.
-
Our amazing IT department is finally getting around to a ticket I submitted in April regarding unfucking their security software and a #VHDL language server (https://github.com/VHDL-LS/rust_hdl). So I tinkered with the newest version of it this morning and it seems to still have the same errors as before. Seems to completely fail to pick up certain files and then also doesn't support genericized packages, based on how it's throwing a fit over #OSVVM. Might have to see if I can get #GHDL working on Windows without too much annoyance.
Don't have too much hope though. On the plus side I don't NEED it. It'd just be a nice to have capability and I'd like to experiment with Emacs #eglot with my language of choice.
-
@remi Yeah my whole group gave up on mathworks (and Microsoft). We do everything in python now with boost c++ for some bits (on linux). No more dealing with license servers is great. We stimulate on a cluster of machines now and never worry about running out of licenses. It's great. Now when we can get rid of #modelsim we will be ~100% #foss tool chain. #ghdl and or #cvc with #cocotb is close but not quite. Xilinx #vivado encrypted ip cores are a problem that can only be avoided by saying no...
-
@remi Yeah my whole group gave up on mathworks (and Microsoft). We do everything in python now with boost c++ for some bits (on linux). No more dealing with license servers is great. We stimulate on a cluster of machines now and never worry about running out of licenses. It's great. Now when we can get rid of #modelsim we will be ~100% #foss tool chain. #ghdl and or #cvc with #cocotb is close but not quite. Xilinx #vivado encrypted ip cores are a problem that can only be avoided by saying no...
-
@remi Yeah my whole group gave up on mathworks (and Microsoft). We do everything in python now with boost c++ for some bits (on linux). No more dealing with license servers is great. We stimulate on a cluster of machines now and never worry about running out of licenses. It's great. Now when we can get rid of #modelsim we will be ~100% #foss tool chain. #ghdl and or #cvc with #cocotb is close but not quite. Xilinx #vivado encrypted ip cores are a problem that can only be avoided by saying no...
