Hi Ben,
Is there a way that a property can be written to make sure that the gated clock is available when clock enable is not disabled and ref_clk is not available with us to be used as an event in the property?
The context behind asking this query is that i want this checker on g_clk to sit inside IP RTL, where IP provides clk_en.
I thought to generate a local clock(using g_clk) and use it in the property but this may add to my simulation time- calculating time-period for local clock continuously.
Is there any other solution possible to my problem?
Thanks