My understanding is the Stack Clear logic is under development/evaluation. At moment it does not seem to be possible to separately enable the Stack Clear logic and the Revocation logic. For instance in the ibex_core.sv there is the following where the CheriStkZ parameter is set by the CheriTBRE parameter on the cheri_ex instantiation.
Also, when the CheriTBRE parameter is unset revoke engine logic does not seem to be removed from the design, but is rather disabled. It would be good if logic was optioned to be present or not by the Stack Clear and Revoke engine parameters rather than disabled. For instance in ibex_core.sv the tbre_wrapper always instantiated even if the CheriTBRE parameter is unset
kliuMsft
commented
1 month ago
Hi,
My understanding is the Stack Clear logic is under development/evaluation. At moment it does not seem to be possible to separately enable the Stack Clear logic and the Revocation logic. For instance in the ibex_core.sv there is the following where the CheriStkZ parameter is set by the CheriTBRE parameter on the cheri_ex instantiation.
Also, when the CheriTBRE parameter is unset revoke engine logic does not seem to be removed from the design, but is rather disabled. It would be good if logic was optioned to be present or not by the Stack Clear and Revoke engine parameters rather than disabled. For instance in ibex_core.sv the tbre_wrapper always instantiated even if the CheriTBRE parameter is unset
Thanks