An evident challenge ahead for the integrated circuit (IC) industry is the investigation and
development of methods to reduce the design complexity ensuing from growing process …

Chip design with machine learning (ML) has been widely explored to achieve better
designs, lower runtime costs, and no human-in-the-loop process. However, with tons of …

This work evaluates the use of Decision Trees (DTs) methods for a fast logic minimization of
Boolean functions. The proposed DT approach is compared to traditional Espresso logic …

In this work, we propose DeepSeq, a novel representation learning framework for sequential
netlists. It employs a graph neural network (GNN) with customized propagation to capture …

Logic Synthesis (LS) plays a vital role in chip design--a cornerstone of the semiconductor
industry. A key task in LS is to transform circuits--modeled by directed acyclic graphs (DAGs) …

Designing high-performance adders and multiplier components for diverse specifications
and constraints is of practical concern. However, selecting the best architecture for adder or …

Abstract Logic Synthesis From Partial Specifications (LSFPS) is the problem of finding the
hardware implementation of a Boolean function from a partial knowledge of its care set. The …

Logic synthesis generates a logic circuit of a given Boolean function, where the size and
depth of the circuit are optimized for small area and low delay. On the other hand, machine …

Design activity--constructing an artifact description satisfying given goals and constraints--
distinguishes humanity from other animals and traditional machines, and endowing …

Modern logic synthesis techniques use multi-level technology-independent representations
like And-Inverter-Graphs (AIGs) for digital logic. This involves structural rewriting …