pub fn known_key_verify_kernel<const NV: usize, const NSHA: usize, const NSC: usize, const SH: usize>(
_cr: ClockReset,
i: VerifyIn,
q: Q<NV, NSHA, NSC, SH>,
) -> (VerifyOut, D<NV, NSHA, NSC, SH>)Expand description
State transition for KnownKeyVerifyCore.
The sections below run every cycle, in dataflow order: free contexts, SHA availability, admission, SHA -> scalar, scalar -> verify machine, verify machine -> compress, compare, aux machine (slow path and key loading), and the result register. A stage takes new work only when it is empty or hands its content on in the same cycle.