Karina R. G. da Silva

2009
3	EE	Cássio L. Rodrigues, Karina R. G. da Silva, Henrique N. Cunha: Improving functional verification of embedded systems using hierarchical composition and set theory. SAC 2009: 1632-1636
2007
2	EE	George Sobral Silveira, Karina R. G. da Silva, Elmar U. K. Melcher: Functional verification of an MPEG-4 decoder design using a random constrained movie generator. SBCCI 2007: 360-364
2004
1	EE	Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araujo, Valdiney Alves Pimenta: An automatic testbench generation tool for a SystemC functional verification methodology. SBCCI 2004: 66-70

Coauthor Index

1	Guido Araujo	[1]
2	Henrique N. Cunha	[3]
3	Elmar U. K. Melcher	[1] [2]
4	Valdiney Alves Pimenta	[1]
5	Cássio L. Rodrigues	[3]
6	George Sobral Silveira	[2]

Colors in the list of coauthors