commit 99c4ebac86600b1dbe0ac0ef5f096173a103661f
author Andreas Kurth <adk@lowrisc.org> Fri Aug 19 19:05:34 2022 +0200
committer Canberk Topal <87007427+ctopal@users.noreply.github.com> Mon Aug 22 13:35:26 2022 +0100
tree 1b73a5e0356b2741885e99711cdef58533e0cafa
parent 7a00ba3c0c680a7ad80e5cf6e16da3484703d6d0

[otbn,dv] Fix wait for valid instruction in `otbn_ctrl_redun_vseq`

Signed-off-by: Andreas Kurth <adk@lowrisc.org>

hw/ip/otbn/dv/uvm/env/seq_lib/otbn_ctrl_redun_vseq.sv

diff --git a/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_ctrl_redun_vseq.sv b/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_ctrl_redun_vseq.sv
index de19cbe..df8c7eb 100644
--- a/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_ctrl_redun_vseq.sv
+++ b/hw/ip/otbn/dv/uvm/env/seq_lib/otbn_ctrl_redun_vseq.sv
@@ -115,7 +115,7 @@
           do begin
             @(cfg.clk_rst_vif.cb);
             uvm_hdl_read("tb.dut.u_otbn_core.insn_valid", insn_valid);
-          end while(insn_valid);
+          end while(!insn_valid);
         )
         `DV_CHECK_STD_RANDOMIZE_WITH_FATAL(choose_err, choose_err inside {[0:2]};)
         case(choose_err)