STAR: Generating input vectors for design validation by static analysis of RTL. Liu, L. & Vasudevan, S. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009, pages 32–37, 2009. IEEE Computer Society.
STAR: Generating input vectors for design validation by static analysis of RTL [link]Paper  doi  bibtex   
@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}
}

Downloads: 0