@inproceedings{Alves:GLSVLSI2010,
 author = {N. Alves and K. Nepal and J. Dworak and R. I. Bahar},
 title = {Improving the Testability and Reliability of Sequential Circuits with Invariant Logic},
 booktitle = {2010 Great Lakes Symposium on VLSI (GLSVLSI)},
 year = {2010},
 month={May},
 }