tree 6e18f3cea7f5c1df97022f0f4b5835b4af84d522
parent 34d4c8c424c3e666a667280d60e6c1a23f68ae05
author Cindy Chen <chencindy@opentitan.org> 1657653685 -0700
committer Cindy Chen <cindy.chen0316@gmail.com> 1657725180 -0700

[dv/alert_handler] Add FSM transition exclusions

This PR finishes a TODO in issue #13589 that excludes from valid (not
Idle state) to FSMErrorSt. Current common sequence only probe the FSM
error from Idle state. The other checkings are done in FPV bench.

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