Skip to main content
lane_word
logicaffeine_
compile
0.11.0
In logicaffeine_
compile::
codegen_
sva::
qor_
harness
logicaffeine_compile
::
codegen_sva
::
qor_harness
Function
lane_
word
Copy item path
Source
pub fn lane_word(s:
u64
, k:
usize
) ->
u64
Expand description
The 64-bit word input lane
k
reads from state
s
.