Ranga Vemuri, Paddy Mamtora, Praveen Sinha, Nand Kumar, Jayanta Roy, Raghu Vutukuru
Experiences in Functional Validation of a High Level Synthesis System
DAC, 1993.
@inproceedings{DAC-1993-VemuriMSKRV,
author = "Ranga Vemuri and Paddy Mamtora and Praveen Sinha and Nand Kumar and Jayanta Roy and Raghu Vutukuru",
booktitle = "{Proceedings of the 30th Design Automation Conference}",
doi = "10.1145/157485.164667",
isbn = "0-89791-577-1",
pages = "194--201",
publisher = "{ACM Press}",
title = "{Experiences in Functional Validation of a High Level Synthesis System}",
year = 1993,
}