Combinational techniques for sequential equivalence checking.

Hamid Savoj David Berthelot Alan Mishchenko Robert K. Brayton

Published in: FMCAD (2010)

Keyphrases

neural network
image segmentation
artificial intelligence
web pages
three dimensional