ORDT coverpoints in RTL does not rename the resets to the system reset

Question

ORDT coverpoints in RTL does not rename the resets to the system reset

neenuprince opened this issue 5 years ago · 4 comments

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.

Answer 1 · 2019-11-17T00:15:54.000Z

Kamino cloned this issue to sdnellen/open-register-design-tool

Answer 2 · 2019-11-21T03:35:28.000Z

Kamino cloned this issue to sdnellen/open-register-design-tool

Answer 3 · 2019-11-23T19:32:17.000Z

fix committed on sdnellen fork

Answer 4 · 2019-12-18T15:21:38.000Z

Confirmed that the fix works