tcl/interface/jtag_vpi.cfg

   1 interface jtag_vpi
   2
   3 # Set the VPI JTAG server port
   4 if { [info exists VPI_PORT] } {
   5    set _VPI_PORT $VPI_PORT
   6 } else {
   7    set _VPI_PORT 5555
   8 }
   9
  10 # Set the VPI JTAG server address
  11 if { [info exists VPI_ADDRESS] } {
  12    set _VPI_ADDRESS $VPI_ADDRESS
  13 } else {
  14    set _VPI_ADDRESS "127.0.0.1"
  15 }
  16
  17 jtag_vpi_set_port $_VPI_PORT
  18 jtag_vpi_set_address $_VPI_ADDRESS