Trying to verify Verilog/VHDL designs with formal methods and tools
Updated 2 months ago
Updated 5 years ago
Some experiments with web applications
Updated 6 years ago
cryptography ip-cores in vhdl / verilog
Updated 3 years ago
Examples of using cocotb for functional verification of VHDL designs with GHDL.
Updated 3 months ago
(Somewhat adapted) code and solutions from the book "Build Your Own Lisp"
Updated 5 years ago
Updated 5 years ago
Various Arduino related stuff
Updated 4 years ago
Updated 1 year ago