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]
No references recorded for this publication.
No citations of this publication recorded.