@INPROCEEDINGS{Alves:DATE09,
  AUTHOR =       {N. Alves and K. Nepal and J. Dworak and R. I. Bahar},
  TITLE =        {Detecting Errors using Multi-cycle Invariance Information},
  BOOKTITLE =    {Design Automation and Test in Europe (DATE)},
  YEAR =         {2009},
  editor =       {},
  volume =       {},
  number =       {},
  series =       {},
  pages =        {},
  address =      {},
  month =        {April 20-24},
  organization = {},
  publisher =    {},
  note =         {},
  abstract =     {},
  keywords =     {},
}