Nuno Alves, Kundan Nepal, Jennifer Dworak, R. Iris Bahar
Detecting errors using multi-cycle invariance information
DATE, 2009.
@inproceedings{DATE-2009-AlvesNDB,
author = "Nuno Alves and Kundan Nepal and Jennifer Dworak and R. Iris Bahar",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "791--796",
publisher = "{IEEE}",
title = "{Detecting errors using multi-cycle invariance information}",
year = 2009,
}