Modular equivalence verification of polynomial datapaths with multiple word-length operands.

Bijan Alizadeh Masahiro Fujita

Published in: HLDVT (2011)

Keyphrases

database
neural network
case study
multi agent
search algorithm
lower bound
special case
first order logic
multiple sources