Compilation for Secure Multi-party Computation

Embedded systems : analysis and modeling with SysML, UML, and AADL

Fundamentals of Electronic Systems Design

New Data Structures and Algorithms for Logic Synthesis and Verification

Reliable and Energy Efficient Streaming Multiprocessor Systems

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

Design of FPGA-Based Computing Systems with OpenCL

Introduction to Logic Circuits & Logic Design with VHDL

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

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