 | 2011 |
| 3 |  | Cássio L. Rodrigues,
Karina R. G. da Silva,
Henrique do N. Cunha,
Jorge C. A. de Figueiredo,
Dalton Dario Serey Guerrero,
Elmar U. K. Melcher:
Enhancing IP cores specifications using hierarchical composition and set theory.
Design Autom. for Emb. Sys. 15(3-4): 225-245 (2011) |
| 2009 |
| 2 |  | Cássio L. Rodrigues,
Karina R. G. da Silva,
Henrique do N. Cunha:
Improving functional verification of embedded systems using hierarchical composition and set theory.
SAC 2009: 1632-1636 |
| 2005 |
| 1 |  | Karina R. G. da Silva,
Elmar U. K. Melcher,
Isaac Maia,
Henrique do N. Cunha:
A methodology aimed at better integration of functional verification and RTL design.
Design Autom. for Emb. Sys. 10(4): 285-298 (2005) |