(Somewhat adapted) code and solutions from the book "Build Your Own Lisp"
Updated 5 years ago
Updated 1 year ago
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
Updated 1 year ago
Various Arduino related stuff
Updated 4 years ago
Exercises & activities from the go workshop provided by Packt: https://courses.packtpub.com/courses/go
Updated 4 years ago
Updated 3 years ago
Updated 3 years ago
Examples of using cocotb for functional verification of VHDL designs with GHDL.
Updated 4 months ago
Updated 5 months ago