@INPROCEEDINGS{nacif03thechip,
  AUTHOR = {Jos\'{e} Augusto Nacif and Fl\'{a}vio M. de Paula and Claudionor J. N. {Coelho Jr.} and Fernando C. Sica and Harry Foster and Ant\^{o}nio O. Fernandes and Di\'{o}genes C. {da Silva Jr.}},
  TITLE  = {The Chip is Ready. {A}m {I} done? {O}n-chip Verification using Assertion Processors},
  BOOKTITLE = {Proceedings of the {IFIP} International Conference on Very Large Scale Integration of System-on-Chip ({VLSI-SoC'03})},
  YEAR = {2003},
  pages = {111--116},
  address = {Darmstadt, Germany},
  note = {{ISBN 3-901882-17-0}}
}