@INPROCEEDINGS{oliveira03xroach,
  AUTHOR = {M\'{a}rcia M. de Oliveira and Jos\'{e} Augusto Nacif and Claudionor J. N. {Coelho Jr.} and Ant\^{o}nio O. Fernandes},
  TITLE = {{XRoach:} A Tool for Generation of Embedded Assertions},
  year = {2003},
  month= {September},
  booktitle = {3rd Student Forum on Microelectronics, Chip in Sampa ({SFM'03})},
  note = {Poster},
  address = {S{\~a}o Paulo, SP, Brazil}
}