forceResetSanity ensures combinatorially that a component does not produce data or acknowledge transactions while in Reset.
Prior to this PR, this functionality was only implemented for Df.
This pull requests adds a generic version based on the IdleCircuit typeclass to be use internally.
forceResetSanity
ensures combinatorially that a component does not produce data or acknowledge transactions while in Reset.Prior to this PR, this functionality was only implemented for
Df
. This pull requests adds a generic version based on theIdleCircuit
typeclass to be use internally.