Popular repositories Loading

1. eda_tools eda_tools Public

   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 Verila…

   Dockerfile 51 6

2. ise14 ise14 Public

   EDA Tools: Xilinx ISE 14.7 Dockerfile

   PowerShell 21 8

3. sudoku-challenge sudoku-challenge Public

   Solving Sudokus using open source formal verification tools

   Python 18

4. quartus13 quartus13 Public

   EDA Tools: Altera Quartus 13 Dockerfile

   C 14 3

5. tinytapeout_euler1 tinytapeout_euler1 Public

   ASIC version of Project Euler problem 1

   Verilog 3 2

6. risc1 risc1 Public

   RISC CPU (MIPS compatible) VHDL implementation (2010)

   VHDL 2