Skip to main content

jump_rows

logicaffeine_compile::codegen_sva::qor_harness

Function jump_rows 

Source 
pub fn jump_rows(n: u32) -> [u64; 64]
Expand description

The 64×64 GF(2) matrix of n stimulus steps as rows: bit i of advance(s, n) is the parity of s & rows[i] (xorshift is linear, so n steps are one matrix).