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 (SBCCI, 2007)

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 (SIGMAP, 2008)

Functional verification of power gate design in SystemC RTL. - George Sobral Silveira; Alisson Vasconcelos de Brito; Elmar U. K. Melcher (SBCCI, 2009)

Open SystemC Simulator with Support for Power Gating Design. - George Sobral Silveira; Alisson Vasconcelos de Brito; Helder F. de A. Oliveira; Elmar U. K. Melcher (Int. J. Reconfigurable Comput., 2012)