Cirbo工具可高效优化布尔电路，显著缩小规模。
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
- 整合高效算法，支持电路求满足、综合与化简
- 平均缩减2023年最优电路12%，个别达83%
- 适合电路设计与硬件优化研究人员使用
我们提出一个开源布尔电路操作工具，实现了高效算法，涵盖满足性、综合与最小化等多种常用电路任务。在广泛的实际电路（包括对称和算术函数）上进行了测试，这些电路在过去三年中已被社区反复优化。该工具帮助我们赢得IWLS 2024编程竞赛。2023年冠军为Google DeepMind，而我们的方法平均将当年最优电路规模缩小12%，部分电路缩小高达83%。
原文摘要 · Abstract (English)
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\%.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。