BibSLEIGH — Automated Activation of Multiple Targets in RTL Models using Concolic Testing

Yangdi Lyu, Alif Ahmed, Prabhat Mishra 0001
Automated Activation of Multiple Targets in RTL Models using Concolic Testing
DATE, 2019.

DATE 2019

@inproceedings{DATE-2019-LyuAM,
	author        = "Yangdi Lyu and Alif Ahmed and Prabhat Mishra 0001",
	booktitle     = "{Proceedings of the 23rd Conference and Exhibition on Design, Automation and Test in Europe}",
	doi           = "10.23919/DATE.2019.8714989",
	isbn          = "978-3-9819263-2-3",
	pages         = "354--359",
	publisher     = "{IEEE}",
	title         = "{Automated Activation of Multiple Targets in RTL Models using Concolic Testing}",
	year          = 2019,
}

Yangdi Lyu, Alif Ahmed, Prabhat Mishra 0001Automated Activation of Multiple Targets in RTL Models using Concolic TestingDATE, 2019.

Yangdi Lyu, Alif Ahmed, Prabhat Mishra 0001
Automated Activation of Multiple Targets in RTL Models using Concolic Testing
DATE, 2019.