Victor Muñoz

eda_tools. A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.

ise14. EDA Tools: Xilinx ISE 14.7 Dockerfile

sudoku-challenge. Solving Sudokus using open source formal verification tools

quartus13. EDA Tools: Altera Quartus 13 Dockerfile

tinytapeout_euler1. ASIC version of Project Euler problem 1

risc1. RISC CPU (MIPS compatible) VHDL implementation (2010)

shuffle. Stateless, parallelizable, keyed, random accesible, reversible shuffle module.

PyMJPEG. Pure Python and an alternative C extension to perform full MJPEG decoding from MOV/MP4 files (2012)