| 2008 |
|---|
| 4 | EE | José Augusto Miranda Nacif,
Thiago Silva,
Andréa Iabrudi Tavares,
Antônio Otávio Fernandes,
Claudionor José Nunes Coelho Jr.:
Efficient Allocation of Verification Resources using Revision History Information.
DDECS 2008: 190-194 |
| 2006 |
|---|
| 3 | EE | Rodrigo M. Passos,
José Augusto Miranda Nacif,
Raquel A. F. Mini,
Antonio Alfredo Ferreira Loureiro,
Antônio Otávio Fernandes,
Claudionor José Nunes Coelho Jr.:
System-level Dynamic Power Management Techniques for Communication Intensive Devices.
VLSI-SoC 2006: 373-378 |
| 2004 |
|---|
| 2 | EE | Fernando Cortez Sica,
Claudionor José Nunes Coelho Jr.,
José Augusto Miranda Nacif,
Harry Foster,
Antônio Otávio Fernandes:
Exception handling in microprocessors using assertion libraries.
SBCCI 2004: 55-59 |
| 2003 |
|---|
| 1 | | José Augusto Miranda Nacif,
Flávio Miana de Paula,
Harry Foster,
Claudionor José Nunes Coelho Jr.,
Antônio Otávio Fernandes:
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.
VLSI-SOC 2003: 111- |
