tcl/interface/jtag_dpi.cfg

   1 # SPDX-License-Identifier: GPL-2.0-or-later
   2
   3 #
   4 # Provide support for the Cadence JTAG BFM
   5 #
   6 # Copyright (c) 2020, Ampere Computing LLC
   7 #
   8
   9 adapter driver jtag_dpi
  10
  11 # Set the DPI JTAG server port
  12 if { [info exists DPI_PORT] } {
  13    set _DPI_PORT $DPI_PORT
  14 } else {
  15    set _DPI_PORT 5555
  16 }
  17
  18 # Set the DPI JTAG server address
  19 if { [info exists DPI_ADDRESS] } {
  20    set _DPI_ADDRESS $DPI_ADDRESS
  21 } else {
  22    set _DPI_ADDRESS "127.0.0.1"
  23 }
  24
  25 jtag_dpi set_port $_DPI_PORT
  26 jtag_dpi set_address $_DPI_ADDRESS