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 …

A survey of logic synthesis techniques for multilevel combinational logic is presented. The
goal is to provide more in-depth background and perspective for people interested in …

In this paper, we present a two-phase framework that integrates task assignment, ordering
and voltage selection (VS) together to minimize energy consumption of real-time dependent …

This book is the result of a long friendship, of a broad international co operation, and of a
bold dream. It is the summary of work carried out by the authors, and several other wonderful …

The performance of memory-bound commercial applicationssuch as databases is limited by
increasing memory latencies. Inthis paper, we show that exploiting memory-level parallelism …

A traditional counterexample to a linear-time safety property shows the values of all signals
at all times prior to the error. However, some signals may not be critical to causing the …

The set covering problem and the minimum cost assignment problem (respectively known
as unate and binate covering problem) arise throughout the logic synthesis ow. This paper …

3. 2 Input Encoding Targeting Two-Level Logic........ 27 3. 2. 1 One-Hot Coding and Multiple-
Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying …

Recent interest in approximate circuit design is driven by its potential for large energy
savings. In this paper, we address the problem of approximate logic synthesis (ALS). ALS is …

In the process of VLSI design, specifications are often changed. It is desirable that such
changes will not lead to a very di erent design so that a large part of engineering e ort can …