tcl/interface/jtag_dpi.cfg

   1 #
   2 # Provide support for the Cadence JTAG BFM
   3 #
   4 # Copyright (c) 2020, Ampere Computing LLC
   5 #
   6 # This program is free software; you can redistribute it and/or
   7 # modify it under the terms of the GNU General Public License as
   8 # published by the Free Software Foundation; either version 2 of
   9 # the License, or (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program;
  18 #
  19 #
  20
  21 adapter driver jtag_dpi
  22
  23 # Set the DPI JTAG server port
  24 if { [info exists DPI_PORT] } {
  25    set _DPI_PORT $DPI_PORT
  26 } else {
  27    set _DPI_PORT 5555
  28 }
  29
  30 # Set the DPI JTAG server address
  31 if { [info exists DPI_ADDRESS] } {
  32    set _DPI_ADDRESS $DPI_ADDRESS
  33 } else {
  34    set _DPI_ADDRESS "127.0.0.1"
  35 }
  36
  37 jtag_dpi set_port $_DPI_PORT
  38 jtag_dpi set_address $_DPI_ADDRESS