Refactoring digital hardware designs with assertion libraries. - Flávio Miana de Paula; Claudionor José Nunes Coelho Jr.; Harry Foster; José Augusto Miranda Nacif; Joseph Tompkins; Antônio Otávio Fernandes; Diógenes Cecilio da Silva Jr. (HLDVT, 2003)

On-Chip Property Verification Using Assertion Processors. - José Augusto Miranda Nacif; Claudionor Nunes Coelho; Harry Foster; Flávio Miana de Paula; Edjard Mota; Márcia Roberta Falcão Mota; Antônio Otávio Fernandes (VLSI-SoC (Selected Papers), 2003)

The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. - José Augusto Miranda Nacif; Flávio Miana de Paula; Harry Foster; Claudionor José Nunes Coelho Jr.; Antônio Otávio Fernandes (VLSI-SOC, 2003)