[Programming the Nexys A7 50T using PlatformIO]

As a part of my university project, I need to port an RTOS on the Nexys A7 50T and write a program involving the peripherals of the board. I'm thinking of using PlatformIO in order to program the FPGA as it's easy to understand for a beginner such as myself. But I'm having a lot of trouble finding the source files for the board having all the JTAG and the debugging modules. Such source files were available for Nexys A7 100T(https://university.imgtec.com/resources/download/rvfpga-1-1/) which I used for my internship. I can share these files if you want to. I need source files which consist of a bitstream file or through which I can generate a bitstream file and after which I could directly upload it on the board and program using PlatformIO. Could you help me with this or put me in contact with anyone who could help me ?

[Error in Debugging the Nexys A7 50T using PlatformIO]

I’m trying to debug a program Factorial.c on the Nexys A7 50T FPGA board using PlatformIO. I have procured its bitstream file from the GitHub repository.

Shown below is the platformio.ini code:

[env:swervolf_nexys]

platform = chipsalliance

board = swervolf_nexys

framework = wd-riscv-sdk

monitor_speed = 115200

 

board_build.bitstream_file = D:\STUDIES\NexysFiles\Nexys-A7-50T-OOB-2018.2-1\vivado_proj\Nexys-A7-50T-OOB.runs\impl_1\nexys50t.bit

 

Shown below is the program code:

#if defined(D_NEXYS_A7)

   #include <bsp_printf.h>

   #include <bsp_mem_map.h>

   #include <bsp_version.h>

#else

   PRE_COMPILED_MSG("no platform was defined")

#endif

#include <psp_api.h>

#define N 7

 

int main(void)

{  

    int fact = 1;

    int temp = N;

    while(temp > 0){

        fact *= temp;

        temp -= 1; 

    }

    uartInit(); // Initialize UART

    printfNexys("Factorial of %d: %d ", N, fact);

}

 

Using PlatformIO, the bitstream is uploaded successfully on the board:

After clicking on “Run Debug”, the compilation is also done successfully:

But the debug console fails with the following errors:

My current driver used is:

I have installed it using Zadig and have also tried reinstalling the driver but the same issue persists. Please help me resolve this issue.