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

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]

Abstract

Abstract is missing.