Login / Signup
Formal Verification of Booth Radix-8 and Radix-16 Multipliers.
Mertcan Temel
Published in:
DATE (2024)
Keyphrases
</>
formal verification
model checking
floating point
fourier transform
model checker
symbolic model checking
automated verification
bit parallel
bounded model checking
neural network
hartley transform
pattern matching