This paper describes both a heuristic algorithm, Espresso-MV, and an exact algorithm,
Espresso-EXACT, for minimization of multiple-valued input, binary-valued output 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 …

High-level synthesis systems start with an abstract behavioral specification of a digital
system and find a register-transfer level structure that realizes the given behavior. The …

The problem of encoding the states of a synchronous Finite State Machine (FSM), so that the
area of a two-level implementation of the combinational logic is minimized, is addressed. As …

The problem of state assignment for synchronous finite-state machines (FSM), targeted
towards multilevel combinational logic and feedback register implementations, are …

We address the problem of reducing the power dissipated by synchronous sequential
circuits. We target the reduction of the average switching activity of the input and output state …

Visual tracking usually involves an optimization process for estimating the motion of an
object from measured images in a video sequence. In this paper, a new evolutionary …

Self-checking circuits can detect the presence of both transient and permanent faults. A self-
checking circuit consists of a functional circuit that produces encoded output vectors and a …

Spectral techniques facilitate the design and testing of today's increasingly complex digital
devices There is heightened interest in spectral techniques for the design of digital devices …

A system developed to synthesize both finite state machines and combinational logic for low-
power applications, called SYCLOP, is described. SYCLOP tries to minimize the transition …