![]() | ![]() |
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 |
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] |