From 9fc81d28600b0805d034d07706b2934d0a405d6f Mon Sep 17 00:00:00 2001 From: Adrian Lees Date: Mon, 25 Nov 2024 21:35:02 +0000 Subject: [PATCH] [dv,pwm] Remove constraint on htbt_en & !blink_en 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 --- hw/ip/pwm/dv/env/seq_lib/pwm_rand_output_vseq.sv | 7 ------- 1 file changed, 7 deletions(-) diff --git a/hw/ip/pwm/dv/env/seq_lib/pwm_rand_output_vseq.sv b/hw/ip/pwm/dv/env/seq_lib/pwm_rand_output_vseq.sv index 705df9dc86df3..1d5cf0c740ce0 100644 --- a/hw/ip/pwm/dv/env/seq_lib/pwm_rand_output_vseq.sv +++ b/hw/ip/pwm/dv/env/seq_lib/pwm_rand_output_vseq.sv @@ -16,9 +16,6 @@ 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; @@ -26,10 +23,6 @@ class pwm_rand_output_vseq extends pwm_base_vseq; 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}; }