Renato Ribas
UFRGS – PGMICRO / PPGC, Porto Alegre
rpribas@inf.ufrgs.br
Benchmark Exato para síntese lógica
Resumo:
A existência de benchmarks exatos para a avaliação de algoritmos e ferramentas computacionais permite verificar o quão distante os resultados obtidos estão de soluções ótimas. Será apresentada uma metodologia para a geração de benchmarks exatos para a etapa de síntese lógica no projeto de circuitos digitais (FPGAs and ASICs), ainda na etapa de desenvolvimento do circuito independente da tecnologia. Os resultados demonstram que há muito espaço para melhoria dessas ferramentas de CAD.
Renato Ribas é Graduado (UFRGS, 1991) e mestre (Unicamp, 1994) em Eng. Elétrica, doutor em Microeletrônica (INPG – França, 1998). Realizou estágio pós-doutoral na UBC – Vancouver (Canadá, 2010). Professor titular do Instituto de Informática da UFRGS. Orientador nos programas de pós-graduação PPGC e PGMicro da UFRGS. Foi presidente da Sociedade Brasileira de Microeletrônica (SBMicro), na gestão 2000-2001. Atual editor do Journal of Integrated Circuits and Systems (SBMicro/SBC). Atua na área de projeto de circuitos integrados digitais e de desenvolvimento de ferramentas computacionais (CAD).