☰
Module interpreter
Functions
?
Module
kimchi_msm
::
ffa
::
interpreter
source
·
[
−
]
Functions
constrain_ff_addition
constrain_ff_addition_row
Constraint for one row of FF addition:
ff_addition_circuit