Joseph C. Libby, Ashley Furrow, Paddy O'Brien, Kenneth B. Kent. A framework for verifying functional correctness in Odin II. In Russell Tessier, editor, 2011 International Conference on Field-Programmable Technology, FPT 2011, New Delhi, India, December 12-14, 2011. pages 1-6, IEEE, 2011. [doi]
@inproceedings{LibbyFOK11,
title = {A framework for verifying functional correctness in Odin II},
author = {Joseph C. Libby and Ashley Furrow and Paddy O'Brien and Kenneth B. Kent},
year = {2011},
doi = {10.1109/FPT.2011.6132671},
url = {http://dx.doi.org/10.1109/FPT.2011.6132671},
researchr = {https://researchr.org/publication/LibbyFOK11},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {2011 International Conference on Field-Programmable Technology, FPT 2011, New Delhi, India, December 12-14, 2011},
editor = {Russell Tessier},
publisher = {IEEE},
isbn = {978-1-4577-1741-3},
}