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

Spintronics-based Computing

Soft Error Mechanisms, Modeling and Mitigation

Near Threshold Computing Technology, Methods and Applications

Invasive Tightly Coupled Processor Arrays

Counterfeit Integrated Circuits Detection and Avoidance