Assertion writing without clock for async reset

Question

I have two resets in my design. Reset_a and Reset_b. both are asynchronous reset can come at any pint of time. i have to write assertion to check if Reset_a is asserted Reset_b also assert at any point. We don't have clock enable in this case.

can anyone help how to write assertion?

I have tried below code.

reset_assertion_check:
    assert property (@(posedge reset_a) $rose(reset_b) ##[*0:$] reset_b)
    else
      $error("reset error"); 

Answer 1

create dummy clock(any period) on test bench, then use the dummy clock to check Reset_a and Reset_b use assertion.