Verification of RTL generated from scheduled behavior in a high-level synthesis flow. Ashar, P., Bhattacharya, S., Raghunathan, A., & Mukaiyama, A. In Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1998, San Jose, CA, USA, November 8-12, 1998, pages 517–524, 1998. Paper doi bibtex @inproceedings{DBLP:conf/iccad/AsharBRM98,
author = {Pranav Ashar and
Subhrajit Bhattacharya and
Anand Raghunathan and
Akira Mukaiyama},
title = {Verification of {RTL} generated from scheduled behavior in a high-level
synthesis flow},
booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
pages = {517--524},
year = {1998},
crossref = {DBLP:conf/iccad/1998},
url = {http://doi.acm.org/10.1145/288548.289080},
doi = {10.1145/288548.289080},
timestamp = {Thu, 30 Apr 2015 18:34:30 +0200},
biburl = {https://dblp.org/rec/bib/conf/iccad/AsharBRM98},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"2ScQ8pHMaGQfqgSB5","bibbaseid":"ashar-bhattacharya-raghunathan-mukaiyama-verificationofrtlgeneratedfromscheduledbehaviorinahighlevelsynthesisflow-1998","downloads":0,"creationDate":"2018-06-20T07:11:31.794Z","title":"Verification of RTL generated from scheduled behavior in a high-level synthesis flow","author_short":["Ashar, P.","Bhattacharya, S.","Raghunathan, A.","Mukaiyama, A."],"year":1998,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/74/3747.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pranav"],"propositions":[],"lastnames":["Ashar"],"suffixes":[]},{"firstnames":["Subhrajit"],"propositions":[],"lastnames":["Bhattacharya"],"suffixes":[]},{"firstnames":["Anand"],"propositions":[],"lastnames":["Raghunathan"],"suffixes":[]},{"firstnames":["Akira"],"propositions":[],"lastnames":["Mukaiyama"],"suffixes":[]}],"title":"Verification of RTL generated from scheduled behavior in a high-level synthesis flow","booktitle":"Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1998, San Jose, CA, USA, November 8-12, 1998","pages":"517–524","year":"1998","crossref":"DBLP:conf/iccad/1998","url":"http://doi.acm.org/10.1145/288548.289080","doi":"10.1145/288548.289080","timestamp":"Thu, 30 Apr 2015 18:34:30 +0200","biburl":"https://dblp.org/rec/bib/conf/iccad/AsharBRM98","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iccad/AsharBRM98,\n author = {Pranav Ashar and\n Subhrajit Bhattacharya and\n Anand Raghunathan and\n Akira Mukaiyama},\n title = {Verification of {RTL} generated from scheduled behavior in a high-level\n synthesis flow},\n booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided\n Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},\n pages = {517--524},\n year = {1998},\n crossref = {DBLP:conf/iccad/1998},\n url = {http://doi.acm.org/10.1145/288548.289080},\n doi = {10.1145/288548.289080},\n timestamp = {Thu, 30 Apr 2015 18:34:30 +0200},\n biburl = {https://dblp.org/rec/bib/conf/iccad/AsharBRM98},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ashar, P.","Bhattacharya, S.","Raghunathan, A.","Mukaiyama, A."],"key":"DBLP:conf/iccad/AsharBRM98","id":"DBLP:conf/iccad/AsharBRM98","bibbaseid":"ashar-bhattacharya-raghunathan-mukaiyama-verificationofrtlgeneratedfromscheduledbehaviorinahighlevelsynthesisflow-1998","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/288548.289080"},"downloads":0},"search_terms":["verification","rtl","generated","scheduled","behavior","high","level","synthesis","flow","ashar","bhattacharya","raghunathan","mukaiyama"],"keywords":[],"authorIDs":[],"dataSources":["QATSsZPCAGgNRpLA3"]}