José M. Mendías, Román Hermida, María C. Molina, Olga Peñalba. Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis. In 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany. pages 308-315, IEEE Computer Society, 2002. [doi]
@inproceedings{MendiasHMP02,
title = {Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis},
author = {José M. Mendías and Román Hermida and María C. Molina and Olga Peñalba},
year = {2002},
doi = {10.1109/DSD.2002.1115383},
url = {http://doi.ieeecomputersociety.org/10.1109/DSD.2002.1115383},
tags = {C++},
researchr = {https://researchr.org/publication/MendiasHMP02},
cites = {0},
citedby = {0},
pages = {308-315},
booktitle = {2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany},
publisher = {IEEE Computer Society},
isbn = {0-7695-1790-0},
}