@inproceedings{DBLP:conf/hldvt/LiuV09,
  author       = {Lingyi Liu and
                  Shobha Vasudevan},
  title        = {{STAR:} Generating input vectors for design validation by static analysis
                  of {RTL}},
  booktitle    = {{IEEE} International High Level Design Validation and Test Workshop,
                  {HLDVT} 2009, San Francisco, CA, USA, 4-6 November 2009},
  pages        = {32--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/HLDVT.2009.5340179},
  doi          = {10.1109/HLDVT.2009.5340179},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/hldvt/LiuV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NZ8rWByGc43gF8biH","bibbaseid":"liu-vasudevan-stargeneratinginputvectorsfordesignvalidationbystaticanalysisofrtl-2009","author_short":["Liu, L.","Vasudevan, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lingyi"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Shobha"],"propositions":[],"lastnames":["Vasudevan"],"suffixes":[]}],"title":"STAR: Generating input vectors for design validation by static analysis of RTL","booktitle":"IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009","pages":"32–37","publisher":"IEEE Computer Society","year":"2009","url":"https://doi.org/10.1109/HLDVT.2009.5340179","doi":"10.1109/HLDVT.2009.5340179","timestamp":"Wed, 16 Oct 2019 14:14:57 +0200","biburl":"https://dblp.org/rec/conf/hldvt/LiuV09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hldvt/LiuV09,\n author = {Lingyi Liu and\n Shobha Vasudevan},\n title = {{STAR:} Generating input vectors for design validation by static analysis\n of {RTL}},\n booktitle = {{IEEE} International High Level Design Validation and Test Workshop,\n {HLDVT} 2009, San Francisco, CA, USA, 4-6 November 2009},\n pages = {32--37},\n publisher = {{IEEE} Computer Society},\n year = {2009},\n url = {https://doi.org/10.1109/HLDVT.2009.5340179},\n doi = {10.1109/HLDVT.2009.5340179},\n timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},\n biburl = {https://dblp.org/rec/conf/hldvt/LiuV09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Liu, L.","Vasudevan, S."],"key":"DBLP:conf/hldvt/LiuV09","id":"DBLP:conf/hldvt/LiuV09","bibbaseid":"liu-vasudevan-stargeneratinginputvectorsfordesignvalidationbystaticanalysisofrtl-2009","role":"author","urls":{"Paper":"https://doi.org/10.1109/HLDVT.2009.5340179"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/70/5718.bib","dataSources":["W78kunfpG8FDG5szo"],"keywords":[],"search_terms":["star","generating","input","vectors","design","validation","static","analysis","rtl","liu","vasudevan"],"title":"STAR: Generating input vectors for design validation by static analysis of RTL","year":2009}