Embedded Computing: A VLIW Approach to Architecture, Compilers and Tools

Introduction to Logic Circuits & Logic Design with VHDL

Programming Massively Parallel Processors: A Hands-on Approach

Formal Verification: An Essential Toolkit for Modern VLSI Design

Performance Analysis and Tuning for General Purpose Graphics Processing Units (GPGPU) (Synthesis Lectures on Computer Architecture)

System Verilog Assertions and Functional Coverage

Real-Time Concepts for Embedded Systems

Fundamentals of Parallel Multicore Architecture (Chapman & Hall/CRC Computational Science)

DSP Software Development Techniques for Embedded and Real-Time Systems (Embedded Technology)

Hardware Security: A Hands-on Learning Approach