The Boundary-Scan Handbook

Soft Error Mechanisms, Modeling and Mitigation

Techniques for Building Timing-Predictable Embedded Systems

Invasive Tightly Coupled Processor Arrays

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications

Reversible and Quantum Circuits Optimization and Complexity Analysis

Near Threshold Computing Technology, Methods and Applications

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design

3D Stacked Chips From Emerging Processes to Heterogeneous Systems

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015

Design for Manufacturability with Advanced Lithography