update sv_verifier for check_pi