aigverse is an open-source infrastructure library designed for logic network synthesis and optimization, offering a Python-first workflow that leverages mature C++17 capabilities. It serves as a bridge between the Python programming environment and established C++ logic synthesis libraries, specifically building upon the EPFL Logic Synthesis Libraries such as mockturtle, kitty, and lorina. This integration allows users to access advanced synthesis algorithms and logic network manipulation tools directly from Python, eliminating the need to reimplement core algorithms.
aigverse provides efficient logic representation through And-Inverter Graphs (AIGs) and includes features for AIG construction, manipulation, optimization, and equivalence checking. The library supports a range of file formats, including AIGER, Verilog, Bench, and PLA, facilitating interoperability with various hardware design and verification tools. It offers dataset generation capabilities and the ability to export logic networks into graph and numeric representations, which can be used in downstream data science and machine learning pipelines. Optional adapters are available to enhance interoperability with graph and numeric data structures, supporting integration into broader data-driven workflows.
The library is intended for users who require reusable infrastructure for logic synthesis, optimization, and related research tasks, rather than serving as a full end-to-end electronic design automation (EDA) toolchain. Its Pythonic interface is aimed at researchers, developers, and practitioners working in logic design, verification, and machine learning applications involving logic networks.
aigverse is distributed as open-source software, with its source code publicly available on GitHub. Pre-built binaries can be installed via PyPI and are compatible with all major operating systems and modern Python versions. The project is developed by Marcel Walter at the Technical University of Munich. Documentation, including installation guides, API references, and usage tutorials, is provided to support users in integrating aigverse into their workflows.
aigverse 0.1.2.dev15 documentation is a Frameworks & SDKs product. It focuses on simplifying logic network synthesis and optimization workflows in Python and C++. aigverse 0.1.2.dev15 documentation is an open-source project aimed at hardware designers, researchers, Python developers. The project is open source (MIT). The product ships for the web, the command line, and API, and it can be self-hosted.
aigverse 0.1.2.dev15 documentation first shipped in 2024. The project is developed in the open on GitHub with 87 stars and 45 commits in the last 90 days. Among its 5 catalogued features are logic synthesis, optimization, and Python API. It exposes integrations via a public API.
Latest indexed changes and source events
Other apps tracked under the same category.
