A methodology aimed at better integration of functional verification and RTL design. - Karina R. G. da Silva; Elmar U. K. Melcher; Isaac Maia; Henrique do N. Cunha (Des. Autom. Embed. Syst., 2005)

Improving functional verification of embedded systems using hierarchical composition and set theory. - Cássio L. Rodrigues; Karina R. G. da Silva; Henrique do N. Cunha (SAC, 2009)

Enhancing IP cores specifications using hierarchical composition and set theory. - 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 (Des. Autom. Embed. Syst., 2011)