Include step response bound in assertion—Check whether step response violates bounds on characteristics on|off Final value—Final value of output signal in response to step input finite real scalar Rise time—Upper bound on rise time finite positive scalar ...