We present a collection of modular open source C++ libraries for the development of logic
synthesis applications. These libraries can be used to develop applications for the design of …

As each quantum algorithm requires a specific initial quantum state, quantum state
preparation is an important task in quantum computing. The preparation of quantum states is …

逻辑综合是电子设计自动化(EDA) 的重要步骤, 随着算力逐渐提升和新的计算范式不断涌现,
传统基于全局启发式算法的逻辑综合面临新的挑战. 启发式算法面临的主要问题是得到一个次优 …

We present an exact approach to synthesize temporal-logic formulas in linear temporal logic
(LTL) from a set of given positive and negative example traces. Our approach uses topology …

Quantum compilation is the task of translating a quantum algorithm implemented in a high-
level quantum programming language into a technology-dependent instructions flow for a …

We propose a new three-level XOR-AND-XOR form for autosymmetric functions, called
XORAX expression. In general, a Boolean function over variables is-autosymmetric if it can …

Exclusive-OR Sum-of-Products expressions (ESOPs) are vital for circuit synthesis of
arithmetic functions and emerging technologies. The state-of-the-art ESOP extraction …

The multiplicative depth of a logic network over the gate basis $\{\land,\oplus,\neg\} $ is the
largest number of $\land $ gates on any path from a primary input to a primary output in the …

This work presents tweedledum-an extensible open-source library aiming at narrowing the
gap between high-level algorithms and physical devices by enhancing the expressive …

Logic synthesis is a critical step in the Electronic Design Automation (EDA). Traditional
global heuristic-based logic synthesis has many challenges as computing power keeps …