Popular repositories Loading

1. yosys yosys Public

   Forked from YosysHQ/yosys

   Yosys Open SYnthesis Suite

   C++ 2

2. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 2

3. cascade cascade Public

   Forked from vmware-archive/cascade

   A Just-In-Time Compiler for Verilog from VMware Research

   C++ 1

4. dspfilters dspfilters Public

   Forked from ZipCPU/dspfilters

   A collection of demonstration digital filters

   Verilog 1

5. FPGeh.github.io FPGeh.github.io Public

6. yosys-nextpnr-bench yosys-nextpnr-bench Public

   Coq