The Internet has led to the creation of a digital society, where (almost) everything is
connected and is accessible from anywhere. However, despite their widespread adoption …

Fourty years ago Quine noted that finding a procedure that computes a minimal sum
products for a given propositional formula is very complex, even though propositional …

The blockchain has fueled one of the most enthusiastic bursts of activity in applied
cryptography in years, but outstanding problems in security and privacy research must be …

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 …

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic
synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation …

SpiNNaker is a novel chip-based on the ARM processor-which is designed to support large
scale spiking neural networks simulations. In this paper we describe some of the features …

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 …

In this paper, we present Majority-Inverter Graph (MIG), a novel logic representation
structure for efficient optimization of Boolean functions. An MIG is a directed acyclic graph …

General-purpose computing devices allow us to (1) customize computation after fabrication
and (2) conserve area by reusing expensive active circuitry for different functions in time. We …

The Walsh transform has numerous applications in computer-aided design, but the
usefulness of these techniques in practice has been limited by the size of the boolean …