@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}
}

{"_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"]}