Skip to content
@keplertech

keplertech

README.md

Open EDA tools, built for AI agents.

KeplerTech builds open-source EDA tools designed to be driven by AI agents, and usable standalone by engineers. The tools contain no AI: the agent brings the reasoning, the tools bring exact, reproducible results.

  • Open source: public on GitHub and PyPI under Apache-2.0. Transparent code, auditable by your own team.
  • Agent-ready: exact, structured, bounded answers. High performance and multi-threaded, so the agent loop never stalls.
  • No AI inside: fully deterministic. Same question, same answer, every time.

The agent loop: explore, edit, verify, show

  1. Explore with naja-scope: exact, token-bounded answers on RTL and netlists.
  2. Edit with any AI agent (any model, any MCP client), which decides and edits through najaeda.
  3. Verify with kepler-formal: proves each RTL or netlist edit keeps the same behavior.
  4. Show with naja-schematic: renders the design and formal diagnoses.

Loop until equivalence is proven. The loop works on RTL and netlists, before place and route: the agent edits RTL or netlists (refactor, optimize, fix), and each change is proven before it is kept.

Ecosystem

Every tool is built on naja, our open-source C++ netlist engine, and najaeda, its Python package. Each tool works on its own, for engineers as well as for agents.

---
config:
  layout: dagre
  theme: base
  themeVariables:
    fontFamily: ''
    fontSize: 14px
    primaryTextColor: '#172033'
    lineColor: '#64748b'
    clusterBkg: '#f8fafc'
    clusterBorder: '#cbd5e1'
---
flowchart LR
    sv["`**SystemVerilog**`"] ==> slang(["`**slang**<br>SystemVerilog Frontend<br>(third-party)`"])
    vhdl["`**VHDL**`"] ==> naja-vhdl["`**naja-vhdl**<br> VHDL Frontend (Beta)`"]
    verilog["`**gate-level verilog**`"] ==> naja-verilog["`**naja-verilog**<br>gate verilog Parser`"]
    naja-verilog ==> naja["`**naja C++ · netlist engine**<br><br>hierarchy · buses<br>bit-level nets & terms · connectivity<br>Primitive Functional Models`"]
    naja-vhdl =="`**Elaboration**`"==> naja
    najaif@{ label: "**naja-if**<br>Logical View Interchange Format<br>Cap'n Proto" } <==> naja
    slang =="`**Elaboration**`"==> naja
    naja <==> najaeda["`**najaeda**<br>Python API`"]
    naja ==> kf("`**kepler-formal**<br>Formal Verification`") & ns("`**naja-schematic**<br>Schematic Viewer`")
    najaeda ==> scope("`**naja-scope**<br>najaeda MCP server`")
    kf ==> kfm("`**kepler-formal-mcp**<br>kepler-formal MCP server`")
    lib["`**Liberty**`"] ==> naja
    pythonlibs["`**Python libraries**<br>naja representation`"] ==> naja

    sv@{ shape: disk}
    vhdl@{ shape: disk}
    verilog@{ shape: disk}
    naja@{ shape: rounded}
    najaif@{ shape: disk}
    lib@{ shape: disk}
    pythonlibs@{ shape: disk}
    sv:::input
    vhdl:::input
    slang:::thirdparty
    naja-verilog:::frontend
    naja-vhdl:::frontend
    verilog:::input
    naja:::core
    najaif:::input
    najaeda:::api
    kf:::tool
    kfm:::tool
    ns:::tool
    scope:::tool
    lib:::input
    pythonlibs:::input
    classDef input fill:#eef2ff,stroke:#6366f1,color:#1e1b4b,stroke-width:2px
    classDef frontend fill:#fff7ed,stroke:#f97316,color:#431407,stroke-width:2px
    classDef thirdparty fill:#fff7ed,stroke:#f97316,color:#431407,stroke-width:2px,stroke-dasharray:6 4
    classDef core fill:#fef2f2,stroke:#ef4444,color:#450a0a,stroke-width:3px
    classDef api fill:#f0fdfa,stroke:#14b8a6,color:#042f2e,stroke-width:2px
    classDef tool fill:#f5f3ff,stroke:#8b5cf6,color:#2e1065,stroke-width:2px
    click slang "https://github.com/MikePopoloski/slang"
    click naja-verilog "https://github.com/najaeda/naja-verilog"
    click naja "https://github.com/najaeda/naja"
    click najaif "https://github.com/najaeda/naja-if"
    click najaeda "https://pypi.org/project/najaeda/"
    click kf "https://github.com/keplertech/kepler-formal"
    click kfm "https://github.com/keplertech/kepler-formal-mcp"
    click ns "https://github.com/keplertech/naja-schematic"
    click scope "https://github.com/keplertech/naja-scope"
Loading

Tools

Tool What it does
naja-scope MCP server giving drivers, loads, logic cones and source lines to any MCP client. On CVA6 (RISC-V core): 17/17 correct answers vs 10/17 with grep, with about 5x fewer input tokens (182k vs 888k). Details in the naja-scope README.
kepler-formal Formal verification that two design versions behave identically. RTL SEC checks the sequential behavior of SystemVerilog before vs after a change. Also gate-level LEC and SEC. Used by OpenROAD for flow regression.
kepler-formal-mcp MCP server for kepler-formal.
kepler-formal-action GitHub Action running equivalence checks on RTL and gate-level design changes in CI.
naja-schematic Schematic viewer for netlists and formal diagnoses. Opens in the browser and in VS Code.
naja + najaeda The common API. RTL and gate-level designs, hierarchy and bit-level connectivity, primitive functional models, optimization and editing.

Build your own tool

Write scripts on the same API to analyze and transform your designs and automate your flow:

pip install najaeda

Documentation: najaeda.readthedocs.io

Links

Popular repositories Loading

  1. kepler-formal kepler-formal Public

    Digital Design Equivalence Checking

    C++ 110 15

  2. 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 16 2

  3. naja-schematic naja-schematic Public

    Portable netlist schematic viewer for the naja data model

    Verilog 3

  4. kepler-formal-regress kepler-formal-regress Public

    Verilog 3

  5. kepler-formal-action kepler-formal-action Public

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

    Shell 2

  6. keplertech-web keplertech-web Public

    HTML

Repositories

Showing 10 of 19 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…