Assertion failure at time 0fs

SystemVerilog
,
2

In reply to pRoSpEr:

Is it because poreset_b starts uninitialised at time 0 before transitioning to 0?

If so, then changing to “disable iff (poreset_b !== 1’b1)” may solve your problem.

Richard