Este grupo aborda temas de Computação Embarcada, Computação Energeticamente Eficiente e Automação de Projeto Eletrônico (CAD/EDA) e concebe novos algoritmos, novas arquiteturas e novas técnicas de verificação de hardware e otimização de software, apoiando-se na área de Microeletrônica para levar em conta o impacto da tecnologia de fabricação de circuitos integrados na eficiência energética de sistemas embarcados.Nos últimos quatro anos, foram as seguintes as contribuições do grupo com maior repercussão científica:1-Novas arquiteturas para compressão de imagens estáticas e dinâmicas (trabalhos no IEEE ISCAS 2011 e no SBCCI 2011);2-Novas técnicas de modelagem de sistemas integrados de hardware e software (co-autoria de livro pela Editora Springer);3-Novas técnicas de verificação de hardware (trabalhos no ACM/IEEE DAC 2009, ACM/IEEE DATE 2012, ACM/IEEE DATE 2013);4-Novas técnicas para Computação Energeticamente Consciente (artigo no IEEE Transactions on VLSI, trabalhos no SBCCI 2011, no IEEE ISVLSI 2009/2011 e no ACM/DAC 2013).Além disso, uma dissertação de mestrado foi selecionada entre as 10 melhores no Concurso de Teses e Dissertações da SBC (CTD 2011) e outra foi premiada com "Menção Honrosa" (entre as 3 melhores) no Concurso de Teses e Dissertações do WSCAD2011.
