Tim Todman, Stephan Stilkerich, Wayne Luk
In-circuit temporal monitors for runtime verification of reconfigurable designs
DAC, 2015.
@inproceedings{DAC-2015-TodmanSL,
author = "Tim Todman and Stephan Stilkerich and Wayne Luk",
booktitle = "{Proceedings of the 52nd Annual Design Automation Conference}",
doi = "10.1145/2744769.2744856",
isbn = "978-1-4503-3520-1",
pages = "6",
publisher = "{ACM}",
title = "{In-circuit temporal monitors for runtime verification of reconfigurable designs}",
year = 2015,
}