ibex icon indicating copy to clipboard operation
ibex copied to clipboard

Published 20 hours ago • verified publisher icon lowRISC

[dv] Verify double fault behaviour

Open GregAC opened this issue 2 years ago • 1 comments

Ibex has a double fault detector. A checker should be created to ensure this functions correctly and double faults should be stimulated in some tests.

estimate 4

GregAC avatar Aug 11 '22 08:08 GregAC

Added an estimate to this. The cosim side of things is handled by https://github.com/lowRISC/ibex/pull/1808 what remains is

  • Produce a double fault in some test (either a new dedicated one or add them to some existing test that already generates exceptions). A read of cpuctrlsts that will see the double_fault_seen bit being set should be included. The ideal test would clear this bit, recover from the double fault and continue (some of time, other times some loop of faulting that times out would be good).
  • A checker for the double_fault_seen_o output. This could be done as an assertion along with some tracking logic.

GregAC avatar Sep 09 '22 19:09 GregAC

Taking @marnovandermaas off this task assignment for now.

johngt avatar Oct 19 '22 10:10 johngt

@GregAC to provide more detailed guidance on checking here

GregAC avatar Oct 25 '22 09:10 GregAC

Reassigning to @GregAC I should be able to address this rapidly freeing @hcallahan-lowrisc for other tasks

GregAC avatar Nov 01 '22 09:11 GregAC

PR https://github.com/lowRISC/ibex/pull/1916/files to add the double fault checker

GregAC avatar Nov 08 '22 21:11 GregAC

Closed by https://github.com/lowRISC/ibex/pull/1916

GregAC avatar Nov 16 '22 17:11 GregAC