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