The purpose of this issue is to gather a list of projects that we can use as tests for ghdl's synthesis features.

• https://www.gaisler.com/index.php/products/processors/leon3
• antonblanchard/microwatt (Status of synthesis support for microwatt #903)
• openpower-cores/a2i (handle openpower-cores/a2i design #1387)
• t65 (synth: assertion failure for --synth on T65 code #968)
• t80 (synth: cannot handle IIR_KIND_CONCURRENT_PROCEDURE_CALL_STATEMENT on T80 code #969)
• c4m_jtag (synth: assertion failure for --synth on Chips4Makers JTAG code #970)
• f32c
• http://j-core.org/
• https://download.experiment-s.de/Configware/2K19A/rtl/vhdl.zip
• https://github.com/MiSTer-devel
• PoC-Library / PoC-Examples
• pauloBlaze
  • PicoBlaze-Library / PicoBlaze-Examples
• JSON-for-VHDL
• hdl4fpga
• MaSoCist
• https://www.digikey.com/eewiki/display/LOGIC/Home
• https://github.com/the-aerospace-corporation/satcat5.git (synth: crash when synthesizing satcat5 #1080)
• INTI-CMNB-FPGA/fpga_lib
• kost/ulx3s-ghdl-examples

We did not set up any automated testing job/workflow (CI). However, if authors of the projects provide an entrypoint script, we can easily gather them.