Popular repositories

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 35 5

2. ise14 ise14 Public

   EDA Tools: Xilinx ISE 14.7 Dockerfile

   PowerShell 15 5

3. sudoku-challenge sudoku-challenge Public

   Solving Sudokus using open source formal verification tools

   Python 14

4. quartus13 quartus13 Public

   EDA Tools: Altera Quartus 13 Dockerfile

   C 5

5. tinytapeout_euler1 tinytapeout_euler1 Public

   ASIC version of Project Euler problem 1

   Verilog 2 2

6. risc1 risc1 Public

   RISC CPU (MIPS compatible) VHDL implementation (2010)

   VHDL 1