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
just within your organization as well.
Figure 1. Debug via Internet/Intranet Using Hardware Server