armada_spu_saturation
val = armada_spu_saturation(new_state);
armada_spu_saturation(old_state) != val)