scarv/scarv-cpu

Embench IoT Flow

ben-marshall opened this issue · 3 comments

ben-marshall commented

The Embench flow currently has some benchmarks which fail their verification. These need fixing, but there is no point doing this until everything is passing the riscv-formal flow.

ben-marshall commented

Still failing:

  • qrduino
  • edn
  • ud
ben-marshall commented

Hopefully identified cause of these problems. See #32 .

ben-marshall commented

The qrduino test is still failing. There are two issues:

  • The srec loader cannot handle some corner case, meaning we get an invalid opcode exception. Manually editing the srec so all S3 records are 16 bytes long fixes this and the program runs almost to completion.
  • If the srec issue is fixed, we get a trap during the ret instruction at the end of main.