Metodologias de Projeto, Verificação e Síntese de Sistemas Embutidos