Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu. Integrating formal verification and high-level processor pipeline synthesis. In IEEE 9th Symposium on Application Specific Processors, SASP 2011, San Diego, CA, USA, June 5-6, 2011. pages 22-29, IEEE Computer Society, 2011. [doi]
@inproceedings{NurvitadhiHKL11-0,
title = {Integrating formal verification and high-level processor pipeline synthesis},
author = {Eriko Nurvitadhi and James C. Hoe and Timothy Kam and Shih-Lien Lu},
year = {2011},
doi = {10.1109/SASP.2011.5941073},
url = {http://doi.ieeecomputersociety.org/10.1109/SASP.2011.5941073},
researchr = {https://researchr.org/publication/NurvitadhiHKL11-0},
cites = {0},
citedby = {0},
pages = {22-29},
booktitle = {IEEE 9th Symposium on Application Specific Processors, SASP 2011, San Diego, CA, USA, June 5-6, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-1211-1},
}