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

The Boundary-Scan Handbook

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

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection

Wireless Communication Electronics by Example

Source-Synchronous Networks-On-Chip Circuit and Architectural Interconnect Modeling

Spintronics-based Computing

Soft Error Mechanisms, Modeling and Mitigation