Unai Martinez-Corral

FTR, example xc7/counter_test was modified to use `f4pga build` when targeting arty_35: #318.

I added the plumbing to have this example executed in CI. This PR is pending bumping f4pga after the blocking PRs are merged in repo f4pga.

Since openocd is specific to some boards, I don't think it's desirable to recommend installing it by default. Other users might need other programs for different boards, or even for...

@71GA, if your target is just converting VHDL to Verilog, you might want to try `ghdl synth --out=verilog` (http://ghdl.github.io/ghdl/using/Synthesis.html#cmdoption-ghdl-out).

@bluesceada the output of `ghdl synth` or the one of the plugin is a post-elaboration result. Therefore, all the parameters are resolved by the time the ouput is generated. See...

Although we don't have fluent communication with Debian packagers (the electronics team at salsa), they are doing a good job providing all the GHDL backends and allowing users to switch...

> FYI I'm working on packaging ghdl-yosys-plugin for Debian, see https://salsa.debian.org/dxld-guest/yosys-plugin-ghdl I cannot access. Maybe it's a private repo? > Merging of #166 would be appreciated to reduce the patch...

> I'm using it intensively for Verilog conversion in conjunction with verilator to boost simulation performance. Note that `ghdl synth --out=verilog` allows converting VHDL to Verilog without requiring Yosys. See...

@minghungumich how do you want to build the ghdl-yosys-plugin? As a module (https://github.com/ghdl/ghdl-yosys-plugin#build-as-a-module-shared-library) or built into yosys (https://github.com/ghdl/ghdl-yosys-plugin#build-as-part-of-yosys-not-recommended)? Note that on Windows, the second (non recommended) approach needs to be...

@msaligane I believe that @antonblanchard uses containers with GHDL, Yosys and the plugin already available. See https://github.com/antonblanchard/microwatt/blob/master/Makefile#L37-L49. Containers from ghdl/docker are used for simulation, and containers from hdl/containers are used...