Sequential Equivalence Checking.

Anmol Mathur Masahiro Fujita M. Balakrishnan Raj S. Mitra

Published in: VLSI Design (2006)

Keyphrases

sequential search
genetic algorithm
lower bound
probabilistic model
probability distribution
neural network
information systems
database systems
hidden markov models
consistency checking