Introduction to Logic Circuits & Logic Design with Verilog

Introduction to Logic Circuits & Logic Design with VHDL

Fundamentals of Electronic Systems Design

Testing of Interposer-Based 2.5D Integrated Circuits

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

New Data Structures and Algorithms for Logic Synthesis and Verification

Design of FPGA-Based Computing Systems with OpenCL

Reliable and Energy Efficient Streaming Multiprocessor Systems

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

Separation Logic for High-level Synthesis

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

Principles and Structures of FPGAs