21 lines
404 B
INI
21 lines
404 B
INI
# 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
|