Function verify_mems_kernel 

pub fn verify_mems_kernel(
    _cr: ClockReset,
    i: VerifyMemsIn,
    q: VerifyMemsQ,
) -> (VerifyMemsOut, VerifyMemsD)

Wiring for VerifyMems: each port goes straight to its RAM.