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]
@inproceedings{LeidelC19,
title = {Toward a graph-based dependence analysis framework for high level design verification},
author = {John D. Leidel and Frank Conlon},
year = {2019},
doi = {10.1145/3310273.3323433},
url = {https://doi.org/10.1145/3310273.3323433},
researchr = {https://researchr.org/publication/LeidelC19},
cites = {0},
citedby = {0},
pages = {308-316},
booktitle = {Proceedings of the 16th ACM International Conference on Computing Frontiers, CF 2019, Alghero, Italy, April 30 - May 2, 2019},
editor = {Francesca Palumbo and Michela Becchi and Martin Schulz 0001 and Kento Sato},
publisher = {ACM},
isbn = {978-1-4503-6685-4},
}