OUR SERVICES

Our team is supporting and providing services around our award winning open source projects and general EDA development.

najaeda

najaeda is a Python package that provides data structures and APIs for developing post-synthesis Electronic Design Automation (EDA) algorithms.

GitHub: https://github.com/najaeda/naja
PyPI: https://pypi.org/project/najaeda/

kepler-formal

Kepler-Formal is a logic equivalence checking (LEC) tool that operates on Verilog and the naja interchange format (https://github.com/najaeda/naja-if) and focuses today on combinational equivalence checking.

GitHub: https://github.com/keplertech/kepler-formal

To know more, please contact us: contact@keplertech.io