add sv.setvl exploration