%0 Conference Paper %1 conf/isqed/KarfaMSPR06 %A Karfa, Chandan %A Mandal, Chittaranjan A. %A Sarkar, Dipankar %A Pentakota, S. R. %A Reade, Chris %B ISQED %D 2006 %I IEEE Computer Society %K dblp %P 71-78 %T A Formal Verification Method of Scheduling in High-level Synthesis. %U http://dblp.uni-trier.de/db/conf/isqed/isqed2006.html#KarfaMSPR06 %@ 0-7695-2523-7

@inproceedings{conf/isqed/KarfaMSPR06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Karfa, Chandan and Mandal, Chittaranjan A. and Sarkar, Dipankar and Pentakota, S. R. and Reade, Chris}, biburl = {https://www.bibsonomy.org/bibtex/22783b7422c62da54b26f2964e5e95663/dblp}, booktitle = {ISQED}, crossref = {conf/isqed/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISQED.2006.10}, interhash = {d15259b27a90cf52b3b700722d63842b}, intrahash = {2783b7422c62da54b26f2964e5e95663}, isbn = {0-7695-2523-7}, keywords = {dblp}, pages = {71-78}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:10:06.000+0200}, title = {A Formal Verification Method of Scheduling in High-level Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/isqed/isqed2006.html#KarfaMSPR06}, year = 2006 }