You can connect to a remote lab machine using Vivado Hardware
Server product. This is a small sized (<100 MB) standalone download available for install
on the lab machine. This option requires intranet or internet access and can be used
internally within your organization as well.
Figure 1. Debug via Internet/Intranet Using Hardware Server