Publications

Publications

John D. Leidel, Frank Conlon. Toward a Graph-based Dependence Analysis Framework for High Level Design Verification. Proceedings of the 16th ACM International Conference on Computing Frontiers, Vol. CF '19, pages 308-316, New York, NY, USA, May, 2019. ACM.
[BibTeX] [Download PDF] 
@inproceedings{leidel2019toward,
  title={Toward a Graph-based Dependence Analysis Framework for High Level Design Verification},
  author={Leidel, John D. and Conlon, Frank},
  booktitle={Proceedings of the 16th ACM International Conference on Computing Frontiers},
  year={2019},
  volume={CF '19},
  number={978-1-4503-6685-4},
  series={CF},
  pages={308--316},
  month={May},
  organization={ACM},
  publisher={ACM},
  address={New York, NY, USA}
}
 
 
John D. Leidel. Democratizing Rapid Hardware Prototyping. August, 2019.
[BibTeX] [Download PDF] 
@unpublished{leidel2019democratizing,
  title={Democratizing Rapid Hardware Prototyping},
  author={Leidel, John D.},
  year={2019},
  month={August}
}