Logic synthesis is an enabling technology to realize integrated computing systems, and it
entails solving computationally intractable problems through a plurality of heuristic …

In this paper, we discuss recent advances in exact synthesis, considering both their efficient
implementation and various applications in which they can be employed. We emphasize on …

Boolean satisfiability (SAT)-based exact synthesis has made significant progress in recent
years, particularly in logic rewriting for the identification of potential subnetwork …

As Moore's law is coming to an end, research on technologies alternative to the
complementary metal-oxide semiconductor (CMOS) has been extensively pursued over the …

Recent studies show that majority-based logic synthesis is beneficial for both traditional and
nanotechnology digital designs. However, most of the existing synthesis algorithms for …

Exact synthesis is a critical technique in logic synthesis to generate optimal circuits for given
Boolean functions. Recent progress in SAT solvers makes SAT-based methods practical …

Binary numbers converted into stochastic bitstreams enable computationally complex
arithmetic to be performed using stochastic computing (SC). The fault-tolerant nature of …

Logic synthesis is a key component of digital design and modern EDA tools; it is thus an
essential instrument for the design of leading-edge chips and to push the limits of their …

Building efficient FPGA-based AI inference accelerators sets new requirements for FPGA
compilers. AI inference accelerator contains very large amount of very small identical circuits …

The study of the complexity of Boolean functions has recently found applications in logic
synthesis and optimization algorithms, as for instance in logic rewriting. Previous works have …