Sign in
Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model.
Maciej J. Ciesielski
Tiankai Su
Atif Yasin
Cunxi Yu
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
probabilistic model
formal model
theoretical framework
high level
probability distribution
computational models