step-by-step functional verification with SV and ovm