Popular repositories Loading

1. naja naja Public

   Structural Netlist API (and more) for EDA post synthesis flow development

   Verilog 135 23

2. naja-verilog naja-verilog Public

   A standalone structural (gate-level) verilog parser

   C++ 40 2

3. naja-if naja-if Public

   Cap'n Proto 1

4. kepler-formal-action kepler-formal-action Public

   Logic equivalence checking for RTL and gate-level design changes in CI

   Shell 1

5. yosys-naja-if yosys-naja-if Public

   C++

6. naja-regress naja-regress Public

   Verilog