Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna +6 more
12/19/2024
cs.LOcs.AI

No official code found. Best implementation: SPbSAT/cirbo (37 stars, MIT, last commit 2026-02-08).

Abstract

We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits (computing, in particular, symmetric and arithmetic functions) that have been optimized intensively by the community for the last three years. The tool helped us to win the IWLS 2024 Programming Contest. In 2023, it was Google DeepMind who took the first place in the competition. We were able to reduce the size of the best circuits from 2023 by 12\% on average, whereas for some individual circuits, our size reduction was as large as 83\%.

View on arXivView PDF

Code Implementations(1)

SPbSAT/cirboCommunity100%
MIT

Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis

374C, C++Jun 14, 20248 months agoMIT

Similar Papers

CktGNN: Circuit Graph Neural Network for Electronic Design Automation

82% match1 repo962023

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

81% match1 repo502024

AISYN: AI-driven Reinforcement Learning-Based Logic Synthesis Framework

81% match2023

A Verified Optimizer for Quantum Circuits

80% match1 repo1072019

OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis

80% match1 repo172024

OrQstrator: An AI-Powered Framework for Advanced Quantum Circuit Optimization

79% match2025

Cite this paper

@article{averkov2024cirbo,
  title  = {Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis},
  author = {Daniil Averkov and Tatiana Belova and Gregory Emdin and Mikhail Goncharov and Viktoriia Krivogornitsyna and Alexander S. Kulikov and Fedor Kurmazov and Daniil Levtsov and Georgie Levtsov and Vsevolod Vaskin and Aleksey Vorobiev},
  year   = {2024},
  eprint = {2412.14933},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2412.14933v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2412.14933.svg)](https://codeofpaper.com/paper/2412.14933)

Discussion