Skip to content

Commit

Permalink
[dv,pwm] Remove constraint on htbt_en & !blink_en
Browse files Browse the repository at this point in the history
Modify the DV so that it does not avoid this configuration;
the specification stipulates clearly what should happen
and the contention is therefore that the DV should exercise
that combination too.

Signed-off-by: Adrian Lees <[email protected]>
  • Loading branch information
alees24 committed Dec 11, 2024
1 parent 72eef45 commit 9fc81d2
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions hw/ip/pwm/dv/env/seq_lib/pwm_rand_output_vseq.sv
Original file line number Diff line number Diff line change
Expand Up @@ -16,20 +16,13 @@ class pwm_rand_output_vseq extends pwm_base_vseq;
// If true, this stops the clock in "low power" mode
rand bit low_power;

// Make sure to enable blink if the heartbeat is enabled
extern constraint htbt_implies_blink_c;

// Model low power mode 10% of the time.
extern constraint low_power_c;

extern function new (string name="");
extern virtual task body();
endclass

constraint pwm_rand_output_vseq::htbt_implies_blink_c {
rand_reg_param.HtbtEn == 1'b1 -> rand_reg_param.BlinkEn == 1'b1;
}

constraint pwm_rand_output_vseq::low_power_c {
low_power dist {1'b1:/1, 1'b0:/9};
}
Expand Down

0 comments on commit 9fc81d2

Please sign in to comment.