área de pesquisa Cristiano Lopes dos Santos Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS
