Desenvolvimento de software tempo real utilizando linguagem VHDL para manutenção e...
Desenvolvimento de Simulador de Processador Many-Core com Arquitetura de Rede Netw...
Desenvolvimento de um modelo comportamental para a arquitetura AVR32 usando a ling...
Co-Verificação de software baseada no traço de programas de processadores distintos
Sistema para geração automática de hardware em FPGAs por programação genética cart...