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)