LEC: Learning Driven Data-path Equivalence Checking.

Jiang Long, Robert K. Brayton, Michael L. Case

Browse the full FMCAD paper archive.