[otbn,dv] Load ELF on each iteration in otbn_reset_vseq
We were getting away with not doing so before (by fluke!) but it could
still go wrong if, for example, the loaded binary stored to an address
that we expected to initialise with data from the ELF.
As it turns out, there's another problem: while the memory contents
survive a reset, the loop warping rules don't. This caused a nightly
failure (seed 531020925 with commit 268280674).
Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
diff --git a/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_reset_vseq.sv b/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_reset_vseq.sv
index ac5bbc9..6666a83 100644
--- a/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_reset_vseq.sv
+++ b/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_reset_vseq.sv
@@ -16,15 +16,16 @@
string elf_path;
elf_path = pick_elf_path();
- `uvm_info(`gfn, $sformatf("Loading OTBN binary from `%0s'", elf_path), UVM_LOW)
- load_elf(elf_path, 1'b1);
-
max_cycles = 1000;
+
for (int i = 0; i < num_iters; i++) begin
int cycle_counter;
int reset_wait;
bit timed_out = 1'b0;
+ `uvm_info(`gfn, $sformatf("Loading OTBN binary from `%0s'", elf_path), UVM_LOW)
+ load_elf(elf_path, 1'b1);
+
// Guess the number of cycles until reset. The first time around, we pick any number between 1
// and 1,000. After that, we replace "1,000" with "75% of the longest we've seen the sequence
// run before terminating". This should avoid problems where we keep resetting after the
