Skip to main content

strict_verify_kernel

Function strict_verify_kernel 

Source
pub fn strict_verify_kernel(
    _cr: ClockReset,
    i: StrictVerifyIn,
    q: StrictVerifyCoreQ,
) -> (StrictVerifyOut, StrictVerifyCoreD)
Expand description

State transition for StrictVerifyCore.