SV verification for Mux and VRom