Digital Logic Design Using Verilog Coding and RTL Synthesis

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation

Fundamentals of Electronic Systems Design

New Data Structures and Algorithms for Logic Synthesis and Verification

Reliable and Energy Efficient Streaming Multiprocessor Systems

Introduzione al Progetto di Sistemi Digitali

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

Introduction to Logic Circuits & Logic Design with Verilog

Testing of Interposer-Based 2.5D Integrated Circuits

Separation Logic for High-level Synthesis

Design of FPGA-Based Computing Systems with OpenCL