Assembly language programming : ARM Cortex-M3

Embedded systems : introduction to ARM Cortex-M microcontrollers : Volume 1

DSP processor fundamentals : architectures and features

Design of high-performance microprocessor circuits

Formal Specification Level Concepts, Methods, and Algorithms

Protecting Chips Against Hold Time Violations Due to Variability

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems

Autonomic Computing Enabled Cooperative Networked Design

Exploring Memory Hierarchy Design with Emerging Memory Technologies

Trace-Based Post-Silicon Validation for VLSI Circuits

Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs

Digital signal processing and applications with the TMS320C6713 and TMS320C6416 DSK