pulp-platform / pulpino

An open-source microcontroller system based on RISC-V
http://www.pulp-platform.org
Other
903 stars 298 forks source link

Assertion Error QuestaSim #300

Closed SupraQuest closed 5 years ago

SupraQuest commented 5 years ago

Hello , I am using QuestaSim to run my simulations. I have "installed" Riscy5 toolchain . I am using the default cmake_configure.microriscy.gcc.sh file for building the required files. I was able to successfully do the following steps :- 1) make vcompile 2) make helloworld.vsim

When QuestaSim launches , I press on "Run - All". But the problem is that I see a lot of "Assertion Errors". Since I have neither touched the rtl files nor the testbenches , I am not able to understand why I am seeing this problem. To be specific , I get an Assertion Error saying : Scope: tb.top_i.core_region_i.CORE.RISCV_CORE.load_store_unit_i File: /scratchpad/xyz/xyz2/xyz3/pulpino/vsim/..//ips/zero-riscy/zeroriscy_load_store_unit.sv Line: 497

Has anyone faced this problem before ? How was it solved ?

Thank you

SupraQuest commented 5 years ago

The problem was with the binary file. You see, the binary was compiled using Riscy5 toolchain for sure , but it was not set for MicroRiscy. So the compiled binary was not compatible with MicroRiscy. We were able to debug this by looking at the transcript . We saw that we were passing some garbage value at the input. We checked out the Object Dump of the elf file and saw that some of the instructions were not the instructions supported by MicroRiscy.

So for anyone facing this issue , make sure that your compiler is set correctly to the right core.