Exception handling in microprocessors using assertion libraries. - Fernando Cortez Sica; Claudionor José Nunes Coelho Jr.; José Augusto Miranda Nacif; Harry Foster; Antônio Otávio Fernandes (SBCCI, 2004)