@inproceedings{DATE-2015-BergmanBKKMNOPR,
	acmid         = "2755846",
	author        = "Stephen Bergman and Gabor Bobok and Walter Kowalski and Shlomit Koyfman and Shiri Moran and Ziv Nevo and Avigail Orni and Viresh Paruthi and Wolfgang Roesner and Gil Shurek and Vasantha Vuyyuru",
	booktitle     = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
	isbn          = "978-3-9815370-4-8",
	pages         = "410--411",
	publisher     = "{ACM}",
	title         = "{Designer-level verification: an industrial experience story}",
	year          = 2015,
}