Analysis (e.g., of output, state, or design)