Login / Signup
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis.
Nikolaos D. Liveris
Hai Zhou
Prithviraj Banerjee
Published in:
ASP-DAC (2009)
Keyphrases
</>
wide range
databases
program synthesis
data sets
genetic algorithm
learning algorithm
decision making
multimedia
bayesian networks
multiscale
learning environment
consistency checking