@INPROCEEDINGS{otaviano04validation,
  AUTHOR = {Leonardo F. Otaviano and Leandro Maciel and Jos\'{e} Augusto Nacif and Claudionor J. N. {Coelho Jr.} and Ant\^{o}nio O. Fernandes},
  TITLE = {Validation of a Verilog Assertion Library (In Portuguese)},
  BOOKTITLE = {4th Student Forum on Microeletronics, Chip on the Reefs (SFM'04)},
  note = {Poster. {T}o Appear},
  address = {Porto de Galinhas, PE, Brazil},
  month = {September},
  YEAR = {2004}
}