Soft-error-rate prediction for programmable circuits: methodology, tools and studied cases