Toward a graph-based dependence analysis framework for high level design verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John D. Leidel, Frank Conlon. Toward a graph-based dependence analysis framework for high level design verification. In Francesca Palumbo, Michela Becchi, Martin Schulz 0001, Kento Sato, editors, Proceedings of the 16th ACM International Conference on Computing Frontiers, CF 2019, Alghero, Italy, April 30 - May 2, 2019. pages 308-316, ACM, 2019. [doi]

This author has not been identified. Look up 'John D. Leidel' in GoogleThis author has not been identified. Look up 'Frank Conlon' in Google

runs on WebDSL