Kong Woei Susanto, Wayne Luk. Automating formal verification of customized soft-processors. In Russell Tessier, editor, 2011 International Conference on Field-Programmable Technology, FPT 2011, New Delhi, India, December 12-14, 2011. pages 1-8, IEEE, 2011. [doi]
@inproceedings{SusantoL11,
title = {Automating formal verification of customized soft-processors},
author = {Kong Woei Susanto and Wayne Luk},
year = {2011},
doi = {10.1109/FPT.2011.6132692},
url = {http://dx.doi.org/10.1109/FPT.2011.6132692},
researchr = {https://researchr.org/publication/SusantoL11},
cites = {0},
citedby = {0},
pages = {1-8},
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},
}