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]
@inproceedings{LongBC13,
title = {LEC: Learning Driven Data-path Equivalence Checking},
author = {Jiang Long and Robert K. Brayton and Michael L. Case},
year = {2013},
url = {http://ceur-ws.org/Vol-1130/paper_3.pdf},
researchr = {https://researchr.org/publication/LongBC13},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013},
editor = {Malay K. Ganai and Alper Sen 0001},
volume = {1130},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}