Need longer-term fix for DSIM workaround (see pull-request #1383)

Pull Request #1383 implements a workaround for a known Metrics DSIM issue. This core-v-verif issue exists to ensure the workaround is removed once Metrics resolves their issue.

Type

This is a tool issue that (to the best of my knowledge) only affects Metrics DSIM.

Steps to Reproduce

Running any simulation of the CV32E40S on the cv32e40s/dev branch, hash 35f8f26, will illustrate whether your simulator is affected by #1383.