Skip to main content

vectors

logicaffeine_compile::codegen_sva::fabric_soc

Function vectors 

Source 
pub fn vectors() -> Vec<(u64, [i64; 3])>
Expand description

The test vectors the testbench drives — a battery per datapath, spanning each function’s cases. Kept in sync with fabric_soc_lock’s expected computation (both iterate this same list).