Skip to main content

verify_transport_kernel

wots_rhdl::verify::transport

Function verify_transport_kernel 

Source 
pub fn verify_transport_kernel(
    clock_reset: ClockReset,
    input: VerifyTransportInput,
    q: Q,
) -> (VerifyTransportOutput, D)
Expand description

Launch-register, expected-tag, and exact-response routing transition.