Tobias Seufert, Christoph Scholl
Combining PDR and reverse PDR for hardware model checking
DATE, 2018.
@inproceedings{DATE-2018-SeufertS,
author = "Tobias Seufert and Christoph Scholl",
booktitle = "{Proceedings of the 22nd Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.23919/DATE.2018.8341978",
isbn = "978-3-9819263-0-9",
pages = "49--54",
publisher = "{IEEE}",
title = "{Combining PDR and reverse PDR for hardware model checking}",
year = 2018,
}