tree 4d5357836363d82da31deec9741d7b54c32bc627
parent 61badda0153b0a5553a5c31ed5a4bc57bf77c039
author Pirmin Vogel <vogelpi@lowrisc.org> 1665159197 +0200
committer Pirmin Vogel <vogelpi@lowrisc.org> 1665395199 +0200

[prim_sync_reqack] Disable reset checks by default, enable inside OTBN

This commit adds a new SV parameter to the prim_edn_req and
prim_sync_reqack(data) modules to only enable the reset checks if
explicitly enabled. For now, the checks are only enabled within OTBN.

The reason for doing this is that currently we expect quite a few test
failures based on this change. Once the reset domains have been
re-organized (see lowRISC/OpenTitan#15317) this commit can be reverted
and the checks can be enabled system wide without causing a large amount
of test failures.

Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>