tcl/interface/jtag_vpi.cfg

   1 # SPDX-License-Identifier: GPL-2.0-or-later
   2
   3 adapter driver jtag_vpi
   4
   5 # Set the VPI JTAG server port
   6 if { [info exists VPI_PORT] } {
   7    set _VPI_PORT $VPI_PORT
   8 } else {
   9    set _VPI_PORT 5555
  10 }
  11
  12 # Set the VPI JTAG server address
  13 if { [info exists VPI_ADDRESS] } {
  14    set _VPI_ADDRESS $VPI_ADDRESS
  15 } else {
  16    set _VPI_ADDRESS "127.0.0.1"
  17 }
  18
  19 jtag_vpi set_port $_VPI_PORT
  20 jtag_vpi set_address $_VPI_ADDRESS