Non-cycle-accurate sequential equivalence checking.

Pankaj Chauhan Deepak Goyal Gagan Hasteer Anmol Mathur Nikhil Sharma

Published in: DAC (2009)

Keyphrases

high accuracy
highly accurate
accurate estimation
data sets
neural network
metadata
three dimensional
multi agent
artificial neural networks
computationally efficient
sequential search