This is your work, valued

Chile

Victor Muñoz

Advanced
@vmunoz82

Some old projects will be here, maybe some new ones too.

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.

51

ise14. EDA Tools: Xilinx ISE 14.7 Dockerfile

21

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

18

quartus13. EDA Tools: Altera Quartus 13 Dockerfile

15

tinytapeout_euler1. ASIC version of Project Euler problem 1

3

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

2

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

1

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

1