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