Karina R. G. da Silva

According to our database, Karina R. G. da Silva authored at least 9 papers between 2004 and 2020.

Collaborative distances:

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

2020

Lessons learned about oral-auditory and visual-spatial communication in requirements engineering with deaf stakeholders.

Antônio C. F. Silva, Cássio L. Rodrigues, Neuma Chaveiro, Renata Rodrigues de Oliveira Garcia, Soraya Bianca Duarte, Mariá A. R. Araújo, Vinícius B. Santos, Karina R. G. da Silva, Paulo M. S. Rodrigues, Luíla M. Oliveira, Caio César Silva Sousa

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

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

2008

Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches.

Cássio L. Rodrigues, Fábio Jorge Almeida Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher

Proceedings of the IEEE International Conference on Systems, 2008

A Random Constrained Movie Versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG-4 Decoder Design.

George Sobral Silveira, Karina R. G. da Silva, Elmar U. K. Melcher

Proceedings of the SIGMAP 2008, 2008

2007

Functional verification of an MPEG-4 decoder design using a random constrained movie generator.

George Sobral Silveira, Karina R. G. da Silva, Elmar U. K. Melcher

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

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

A SystemC-only design methodology and the CINE-IP multimedia platform.

Guido Araujo, Edna Barros, Elmar U. K. Melcher, Rodolfo Azevedo, Karina R. G. da Silva, Bruno O. Prado, Manoel Eusébio de Lima

Des. Autom. Embed. Syst., 2005

2004

An automatic testbench generation tool for a SystemC functional verification methodology.

Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araujo, Valdiney Alves Pimenta

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004