Skip to main content

emit_keccak_testbench

logicaffeine_compile::codegen_sva::keccak_rtl

Function emit_keccak_testbench 

Source 
pub fn emit_keccak_testbench() -> String
Expand description

Self-checking testbench: load the input state + the oracle’s 24-round output from keccak_vec.hex (50 × 64-bit words: 25 input lanes then 25 expected lanes), run the core, compare bit-exact. Prints PASS/FAIL.