pub fn strict_verify_kernel(
_cr: ClockReset,
i: StrictVerifyIn,
q: StrictVerifyCoreQ,
) -> (StrictVerifyOut, StrictVerifyCoreD)Expand description
State transition for StrictVerifyCore.
pub fn strict_verify_kernel(
_cr: ClockReset,
i: StrictVerifyIn,
q: StrictVerifyCoreQ,
) -> (StrictVerifyOut, StrictVerifyCoreD)State transition for StrictVerifyCore.