Cross-layer soft-error resilience analysis of computing systems