área de pesquisa Bruno Silveira Neves Lucas Compassi Severo Renato Souza de Souza Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS Vinícius Neves Possani