JTAG/Debugging

[MoustafaAhmed01]

Hello, I've some questions about pulpino. I've added the RTL design which is on GitHub on my FPGA (ZCU104). I've added a c code on it for toggling LED using a push button using vivado and it works fine. I want to start debugging like debugging on any controller like stm32f103c8t6 or something on IDE.

I found something about virtual simulation. So, I've installed pulp-sdk, pulp-riscv32 toolchain which is included in the pulp-sdk instruction, Gcc, gdbgui and Qemu. I can't find any instructions to follow how to start debugging. Like I've compiled the C code and got the elf file. What next should I do? how to debug it?

Please, provide for me any document or tell me the steps to follow to start debugging.

Thank you.