---

Atuando com verifica‡Æo de hardware é indispensável o uso de ferramentas de testes e compila‡Æo de algoritmos, rotinas direcionadas. Logo, para tanto é preciso amplo conhecimento em estruturas de programa‡Æo, desenvolvimento de software e técnicas para otimizá-los. Este trabalho é fruto da uniÆo dessas áreas e temas, uma busca por solu‡äes otimizadas em nível de compiladores visando baixo consumo.

---

Mestre em Ciência da Computa‡Æo pela UFSM, atuando desde 2012 nas cria‡äes e testes (verifica‡Æo funcional) de circuitos integrados digitais e mistos, bem como no desenvolvimento de algoritmos e compiladores modernos. Foi bolsista SDT-CNPq (2012-2016), dentre os projetos deve-se destacar: o ZR16LP, ZR16RH08 e NanoSatCBR2.

---