Introduction to Logic Circuits & Logic Design with Verilog

Separation Logic for High-level Synthesis

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

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

Reliable and Energy Efficient Streaming Multiprocessor Systems

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