Naja EDA

Popular repositories Loading

1. naja naja Public

   Netlist API (and more) for EDA flow development

   Verilog 161 24

2. naja-verilog naja-verilog Public

   A standalone structural (gate-level) verilog parser

   C++ 42 3

3. naja-scope naja-scope Public

   MCP server for AI agents to explore SystemVerilog/Verilog netlists: trace connectivity, walk hierarchy, jump to source - without pasting RTL into context. Built on najaeda.

   Python 15 2

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

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

   Shell 2

5. naja-skills naja-skills Public

   Python 2 1

6. naja-if naja-if Public

   Cap'n Proto 1