interface jtag_vpi

# Set the VPI JTAG server address
if { [info exists VPI_PORT] } {
   set _VPI_PORT $VPI_PORT
} else {
   set _VPI_PORT 50020
}

jtag_vpi_set_port $_VPI_PORT