@@ -73,39 +73,6 @@ class chip_sw_soc_proxy_smoke_vseq extends chip_sw_base_vseq;
7373 `dv_error (" Resets did not complete within required time!" )
7474 )
7575
76- // Wait until SW confirms reset on external request.
77- `DV_WAIT (cfg.sw_logger_vif.printed_log == " Reset on external request." )
78-
79- // Test external IRQs one after the other.
80- for (int unsigned i = 0 ; i < soc_proxy_reg_pkg :: NumExternalIrqs; i++ ) begin
81- logic [soc_proxy_reg_pkg :: NumExternalIrqs- 1 : 0 ] intr = 1 << i;
82- string irq_str = $sformatf (" IRQ %0d " , i);
83-
84- // Wait for SW to confirm that the IRQ is enabled.
85- `DV_WAIT (cfg.sw_logger_vif.printed_log == $sformatf (" %s enabled." , irq_str))
86-
87- // Trigger external IRQ.
88- `uvm_info (`gfn , $sformatf (" Triggering %s ." , irq_str), UVM_LOW )
89- void '(cfg.chip_vif.signal_probe_soc_intr_async (.kind (dv_utils_pkg :: SignalProbeForce),
90- .value (intr)));
91-
92- fork
93- begin
94- // Ensure that an internal wakeup request is raised.
95- await_soc_proxy_wkup_internal_req ();
96- end
97- begin
98- // Ensure that SW confirms the IRQ is pending in `soc_proxy` and `rv_plic`.
99- `DV_WAIT (cfg.sw_logger_vif.printed_log == $sformatf (" %s pending in soc_proxy." , irq_str))
100- `DV_WAIT (cfg.sw_logger_vif.printed_log == $sformatf (" %s pending in rv_plic." , irq_str))
101- end
102- join
103-
104- // Deactivate external IRQ.
105- `uvm_info (`gfn , $sformatf (" Releasing %s ." , irq_str), UVM_LOW )
106- void '(cfg.chip_vif.signal_probe_soc_intr_async (.kind (dv_utils_pkg :: SignalProbeRelease)));
107- end
108-
10976 endtask
11077
11178endclass
0 commit comments