@INPROCEEDINGS{sica04exception,
  AUTHOR = {Fernando Cortez Sica and Claudionor J. N. {Coelho Jr.} and Jos\'{e} Augusto Nacif and Harry Foster and Ant\^{o}nio O. Fernandes},
  TITLE = {Exception Handling in microprocessors using assertion libraries},
  BOOKTITLE = {Proceedings of the 17th Symposium on Integrated Circuits and System Design ({SBCCI'04})},
  YEAR = {2004},
  note = {To appear},
  address = {Porto de Galinhas, PE, Brazil},
  month = {September}
}