tree 801c687b8b09e3c005b2d6cbd1dbbce5f97e9f61
parent 37cd5059b9496ca98b1670626087435b5f97487d
author Cindy Chen <chencindy@opentitan.org> 1638480909 -0800
committer cindychip <cindy.chen0316@gmail.com> 1638579197 -0800

[dv/prim_alert] Clean up alert test

This PR cleans up prim_alert test:
1). Remove redundant differential signal checks in tb. They are proned
to erros, hard to debug, and RTL assertions already covered them.
2). Add more alert_init request or dut_init request to cover FSM
coverages.
3). Add a few more assertions in design.

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