Soft error derating computation in sequential circuits