LEC: Learning Driven Data-path Equivalence Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jiang Long' in GoogleThis author has not been identified. Look up 'Robert K. Brayton' in GoogleThis author has not been identified. Look up 'Michael L. Case' in Google

runs on WebDSL