commit 67744911c3dd563b7e16f22c81d4c9010e51defe
author Guillermo Maturana <maturana@google.com> Fri Dec 03 14:13:14 2021 -0800
committer Matute <maturana@google.com> Fri Dec 03 19:47:44 2021 -0800
tree 0877f7505fe73d9d9658fee984a9c886bfa3f2c7
parent af8e8d99f5241befe1ee1d3c6e173218e3fa81a5

[dv/pwrmgr] Remove unnecessary "rand" attribute

Signed-off-by: Guillermo Maturana <maturana@google.com>

hw/ip/pwrmgr/dv/env/seq_lib/pwrmgr_reset_vseq.sv

diff --git a/hw/ip/pwrmgr/dv/env/seq_lib/pwrmgr_reset_vseq.sv b/hw/ip/pwrmgr/dv/env/seq_lib/pwrmgr_reset_vseq.sv
index cb36bc5..f3baa33 100644
--- a/hw/ip/pwrmgr/dv/env/seq_lib/pwrmgr_reset_vseq.sv
+++ b/hw/ip/pwrmgr/dv/env/seq_lib/pwrmgr_reset_vseq.sv
@@ -14,7 +14,6 @@
 
   rand bit power_glitch_reset;
   rand bit escalation_reset;
-  rand prim_mubi_pkg::mubi4_t sw_rst_from_rstmgr;
 
   // TODO(maturana) Enable escalation resets once there is support for driving them.
   constraint escalation_reset_c {escalation_reset == 1'b0;}
@@ -26,6 +25,8 @@
   constraint wakeups_c {wakeups == 0;}
   constraint wakeups_en_c {wakeups_en == 0;}
 
+  prim_mubi_pkg::mubi4_t sw_rst_from_rstmgr;
+
   function void post_randomize();
     sw_rst_from_rstmgr = get_rand_mubi4_val(8, 4, 4);
     super.post_randomize();