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. In Antonio Petraglia, Volnei A. Pedroni, Gert Cauwenberghs, editors, Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, September 3-6, 2007. pages 360-364, ACM, 2007. [doi]