tree 9cbd0ac7c87e5c5eb2356e1c81a8c7c54c855f49
parent e80eb5029193d2bee08da635a075d75bb246b904
author Cindy Chen <chencindy@opentitan.org> 1675813264 -0800
committer Cindy Chen <cindy.chen0316@gmail.com> 1677626369 -0800

[dv/sysrst_ctrl] Check z3_wakeup timing

This PR checks if `z3_wakeup` output is set at the correct timing.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>