Henrique do N. Cunha

According to our database, Henrique do N. Cunha authored at least 3 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

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

2009

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

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2005

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