Popular repositories Loading

1. naja naja Public

   Netlist API (and more) for EDA flow development

   Verilog 149 22

2. naja-verilog naja-verilog Public

   A standalone structural (gate-level) verilog parser

   C++ 41 2

3. naja-scope naja-scope Public

   Python 10 2

4. naja-skills naja-skills Public

   Python 2 1

5. naja-if naja-if Public

   Cap'n Proto 1

6. kepler-formal-action kepler-formal-action Public

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

   Shell 1