When the global reset is used it renames the reset signal to global_rst_n but it does not rename the reset signal for the coverpoints. The reset signal for the coverpoints is not an input and is unconnected.
example even if the system reset is named "syst_rst_n" the coverpoints in *jrdl_logic.sv uses "reset" as below
h2l_counter_rf_cnt_incrbyone_incrval_incr: coverpoint h2l_counter_rf_cnt_incrbyone_incrval_incr iff(!reset);
Each time it gets regenerated , we have to edit them manually.
When the global reset is used it renames the reset signal to global_rst_n but it does not rename the reset signal for the coverpoints. The reset signal for the coverpoints is not an input and is unconnected. example even if the system reset is named "syst_rst_n" the coverpoints in *jrdl_logic.sv uses "reset" as below h2l_counter_rf_cnt_incrbyone_incrval_incr: coverpoint h2l_counter_rf_cnt_incrbyone_incrval_incr iff(!reset);
Each time it gets regenerated , we have to edit them manually.