Henrique do N. Cunha

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

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. Des. Autom. Embed. Syst. 15 (3-4) (2011)
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)
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. Des. Autom. Embed. Syst. 10 (4) (2005)