Jiang Long, Robert K. Brayton, Michael L. Case. LEC: Learning Driven Data-path Equivalence Checking. In Malay K. Ganai, Alper Sen 0001, editors, Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013. Volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
Abstract is missing.