Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein. Provably Correct Development of reconfigurable hardware designs via equational reasoning. In 2015 International Conference on Field Programmable Technology, FPT 2015, Queenstown, New Zealand, December 7-9, 2015. pages 160-171, IEEE, 2015. [doi]
@inproceedings{GravesPHA15,
title = {Provably Correct Development of reconfigurable hardware designs via equational reasoning},
author = {Ian Graves and Adam M. Procter and William L. Harrison and Gerard Allwein},
year = {2015},
doi = {10.1109/FPT.2015.7393143},
url = {http://dx.doi.org/10.1109/FPT.2015.7393143},
researchr = {https://researchr.org/publication/GravesPHA15},
cites = {0},
citedby = {0},
pages = {160-171},
booktitle = {2015 International Conference on Field Programmable Technology, FPT 2015, Queenstown, New Zealand, December 7-9, 2015},
publisher = {IEEE},
isbn = {978-1-4673-9091-0},
}