System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

Developing objective measures for evaluating and measuring the complexity of design
would facilitate (1) empirical studies that require the use of equivalent but different design …

ABC is a public-domain system for logic synthesis and formal verification of binary logic
circuits appearing in synchronous hardware designs. ABC combines scalable logic …

Quantum-dot cellular automata (QCA) are an emerging field-coupled nanotechnology with
remarkable performance and energy efficiency. In order to enable the exploration of this …

We introduce Tiny Garble, a novel automated methodology based on powerful logic
synthesis techniques for generating and optimizing compressed Boolean circuits used in …

In this paper, we propose a paradigm shift in representing and optimizing logic by using only
majority (MAJ) and inversion (INV) functions as basic operations. We represent logic …

The field programmable gate-array (FPGA) has become an important technology in VLSI
ASIC designs. In the past few years, a number of heuristic algorithms have been proposed …

This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI
practitioners and researchers in need of fluency in an" adjacent" field will find this an …

One of the main problems in chip design is the huge number of possible combinations of
individual chip elements, leading to a combinatorial explosion as chips become more …

When software developers want to understand the reason for a program's behavior, they
must translate their questions about the behavior into a series of questions about code …