Login / Signup
Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields.
Tim Pruss
Priyank Kalla
Florian Enescu
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2016)
Keyphrases
</>
word level
asynchronous circuits
machine learning
computer vision