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 …

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 …

A methodology to improve the throughput of FIR filters through the effective use of retiming
and efficient add–multiply operation is presented in this study. Delay, energy and area …

This paper describes an efficient implementation of sequential synthesis that uses induction
to detect and merge sequentially-equivalent nodes. State-encoding, scan chains, and test …

We consider the problem of hierarchical bandwidth sharing in dynamic spectrum access (or
cognitive radio) environment. In the system model under consideration, licensed service (ie …

High throughput, low complex and energy efficient linear phase FIR filter structures with low
latency are highly desirable for most of the portable signal processing applications …

Publisher Summary Logic synthesis is the process of automatic production of logic
components, in particular digital circuits. It is a subject about how to abstract and represent …

Formal CAD tools operate on mathematical models describing the sequential behavior of a
VLSI design. With the growing size and state-space of modern digital hardware designs, the …

Structural models of finite-state machines (FSMs) that make it possible to use the values of
the output variables for encoding the internal states are studied. To minimize the area (the …

A methodology to improve the throughput and energy efficiency of finite impulse response
(FIR) filters through the effective application of retiming and two-level pipelining is presented …