Skip to main content

verify_single_context_sha_kernel

wots_rhdl::verify::sha

Function verify_single_context_sha_kernel 

Source 
pub fn verify_single_context_sha_kernel(
    clock_reset: ClockReset,
    input: VerifyContextInput,
    q: Q,
) -> (VerifyContextOutput, D)
Expand description

State transition and memory connectivity for VerifySingleContextSha.