-
Notifications
You must be signed in to change notification settings - Fork 387
Description
The documentation of GHDL contains a brief Quick Start Guide to introduce GHDL's CLI interface to users, but it does not contain an introduction to VHDL. There are many examples scattered in the repos:
- The testsuite of the main repo contains hundreds of reproducible examples. These are mostly undocumented, but most of them are small and are related to some public discussion.
- The examples and testsuite of ghdl-yosys-plugin contain tens of examples too. These use the plugin along with open source P&R and programming tools, such as nextpnr, icestorm, openocd, etc.
- Documented co-simulation examples about VPI and VHPIDIRECT are available in ghdl.github.io/ghdl-cosim.
However, since many users learn about both VHDL, GHDL and sometimes digital design at the same time, previous resources might be too harsh. The purpose of this document is to gather references to open/free (as in free beer) tutorials, guides, books, blog post, repositories, etc. which use VHDL (and optionally GHDL).
See also Talks, presentations and other communications about GHDL and Target projects for synthesis.
- IP databases and awesome lists:
- VHDL Tutorial by Peter Ashenden (see Learning VHDL with GHDL #1291 (comment)).
- Book: VHDL Kompakt (German)
- Book: Free Range VHDL
- Book: datacipy.cz (Czech)
- nandland.com
- lauri.võsandi.com
- dossmatik.de
- VHDL-2008: Why It Matters
- fpga4fun.com
- vhdlguide.com
- vhdlwhiz.com: Basic VHDL Tutorials
- seas.upenn.edu/~ese171: VHDL Tutorial
- fpgatutorial.com/vhdl
- Rodrigo A. Melo:
- Fundamentals of VHDL (Hardware Description Language) (slides, video)
- FOSS (Free Open Source Software) for FPGA (slides, video)
- VHDL for FPGA: Synthesis
- VHDL for FPGA: Simulation
- Hipólito Guzmán:
- dev.to/targeted
- bor.gs/vhdl: Apostila Aleatória de VHDL e GHDL
- TPU/RPU Series
- Functional and formal verification
- zipcpu.com: An Introduction to Formal Methods
- tmeissner/psl_with_ghdl: examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
- tmeissner/vhdl_verification: examples and design pattern for VHDL verification
- tmeissner/formal_hw_verification: trying to verify Verilog/VHDL designs with formal methods and tools
- Co-simulation with foreign languages/tools
- Code coverage with gcov
- GHDL and OpenLane
- britovski/adder (translation of staydh/adder)
- antonblanchard/microwatt-caravel
Moreover, the following repositories (in case insensitive alphabetical order) might be useful for searching solutions to common designs/problems:
- alvieboy/ZPUino-HDL
- antonblanchard/microwatt
- benreynwar/htfft
- brimdavis/fpga_stuff
- brimdavis/yard-1
- daveshah1/CSI2Rx
- emard/ulx3s-misc
- https://github.com/fabioperez/space-invaders-vhdl
- hdl4fpga/hdl4fpga
- howerj/forth-cpu
- kevinpt/vhdl-extras
- kost/ulx3s-ghdl-examples
- marph91/icestick-remote
- marph91/icestick-uart
- marph91/pico-png
- marph91/pocket-cnn
- marph91/yaaes
- mbrobbel/capi-streaming-framework
- MiSTer-devel (?VHDL)
- MJoergen/nexys4ddr
- nkyparissas/Cellular_Automata_FPGA
- oetr/FPGA-I2C-Minion
- OSVVM/OSVVM
- Paebbels/JSON-for-VHDL
- Paebbels/PicoBlaze-Examples
- Paebbels/PicoBlaze-Library
- skordal/potato
- stnolting/neorv32
- suoto/fpga_cores
- tmeissner/cryptocores
- tmeissner/libvhdl
- VHDL/PoC
- VUnit/vunit
- XarkLabs/BenEaterVHDL
- xesscorp/VHDL_Lib
- xupgit/VHDL
- yol/ethernet_mac