2022-06-12 21:50:59 +00:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
|
2019-08-23 13:49:58 +00:00
|
|
|
adapter driver jtag_vpi
|
2013-09-06 16:42:39 +00:00
|
|
|
|
2013-12-29 15:18:51 +00:00
|
|
|
# Set the VPI JTAG server port
|
2013-09-06 16:42:39 +00:00
|
|
|
if { [info exists VPI_PORT] } {
|
|
|
|
set _VPI_PORT $VPI_PORT
|
|
|
|
} else {
|
2013-12-29 15:18:51 +00:00
|
|
|
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"
|
2013-09-06 16:42:39 +00:00
|
|
|
}
|
|
|
|
|
2021-07-30 16:40:03 +00:00
|
|
|
jtag_vpi set_port $_VPI_PORT
|
|
|
|
jtag_vpi set_address $_VPI_ADDRESS
|