Branch guided functional test generation at the RTL

Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao. Branch guided functional test generation at the RTL. In 20th IEEE European Test Symposium, ETS 2015, Cluj-Napoca, Romania, 25-29 May, 2015. pages 1-6, IEEE, 2015. [doi]

@inproceedings{AcharyaBH15,
  title = {Branch guided functional test generation at the RTL},
  author = {Vineeth V. Acharya and Sharad Bagri and Michael S. Hsiao},
  year = {2015},
  doi = {10.1109/ETS.2015.7138737},
  url = {http://dx.doi.org/10.1109/ETS.2015.7138737},
  researchr = {https://researchr.org/publication/AcharyaBH15},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {20th IEEE European Test Symposium, ETS 2015, Cluj-Napoca, Romania, 25-29 May, 2015},
  publisher = {IEEE},
  isbn = {978-1-4799-7603-4},
}