Login / Signup
Equivalence verification of arithmetic datapaths with multiple word-length operands.
Namrata Shekhar
Priyank Kalla
Florian Enescu
Published in:
DATE (2006)
Keyphrases
</>
databases
artificial intelligence
information systems
website
evolutionary algorithm
arithmetic operations