mitigation strategies targeting commercial designs. Coverage includes novel soft error mitigation techniques

junctions -- Spin transfer torque magnetic memory design and simulation -- Reliability design of hybrid

Introduction -- Preliminaries -- Part I Debug of Design Bugs -- Automated Debugging for Logic Bugs

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

Verification -- Case Studies -- References Designs -- Conclusions.- Appendix A: Bugs Detected in Case Studies