Ranga Vemuri, Paddy Mamtora, Praveen Sinha, Nand Kumar, Jayanta Roy, Raghu Vutukuru. Experiences in Functional Validation of a High Level Synthesis System. In DAC. pages 194-201, 1993. [doi]
@inproceedings{VemuriMSKRV93,
title = {Experiences in Functional Validation of a High Level Synthesis System},
author = {Ranga Vemuri and Paddy Mamtora and Praveen Sinha and Nand Kumar and Jayanta Roy and Raghu Vutukuru},
year = {1993},
doi = {10.1145/157485.164667},
url = {http://doi.acm.org/10.1145/157485.164667},
researchr = {https://researchr.org/publication/VemuriMSKRV93},
cites = {0},
citedby = {0},
pages = {194-201},
booktitle = {DAC},
}