201680 citations
Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction
Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
0discussions
A lightweight one-liner about this paper — for when it isn't a full discussion. Start a discussion instead if it needs back-and-forth.
No quick takes yet. Be the first to leave one.
Ask a question, share a critique, or post a reproduction note.
No related papers yet — they'll appear as the catalog grows.