Skip to main content

verify_cluster_transport_gate_kernel

wots_rhdl::verify::cluster

Function verify_cluster_transport_gate_kernel 

Source 
pub fn verify_cluster_transport_gate_kernel(
    input: VerifyClusterTransportGateInput,
) -> VerifyClusterTransportGateOutput
Expand description

Gate transport effects for causes independent of a child’s current response.

Current child rejection is intentionally absent from this input. It depends on the physically presented response and therefore cannot be allowed to retract that response or the same-cycle lane decision.