Manuel Adahil Muniz Osterno

Engenheiro de Computação formado em 2020 pela Universidade Federal do Ceará (UFC) tendo participado de um programa de mobilidade acadêmica entre os anos de 2018 e 2019 na Universidade Polytech Nice-Sophia, França. Atualmente, trabalho com desenvolvimento e verificação em FPGA/ASIC no Instituto de Pesquisas Eldorado. Como profissional, já atuei nas áreas de desenvolvimento de código RTL para FPGAs e ASICs, Verificação Funcional e Sistemas Embarcados, atuando, também, na concepção de scripts para automatização de processos e testes. Ademais, eu tenho um grande interesse em Arquitetura de Computadores, principalmente quando se trata de Risc-V e do movimento Open-Hardware.

Informações coletadas do Lattes em 13/06/2025

Acadêmico

Formação acadêmica

Graduação em Engenharia de Computação

2015 - 2020

Universidade Federal do Ceará
Título: VERIFICAÇÃO FUNCIONAL DOS NÚCLEOS IP UART E PULPINO
Orientador: Ricardo Jardel Nunes da Silveira
com Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Ensino Médio (2º grau)

2012 - 2014

Colégio Master

Formação complementar

2017 - 2017

Projeto e Fabricação de Placas de Circuitos Impressos. , Laboratório de Engenharia de Sistemas de Computação, LESC, Brasil.

2016 - 2016

Curso de VHDL. , Laboratório de Engenharia de Sistemas de Computação, LESC, Brasil.

2016 - 2016

Linux Embarcado. (Carga horária: 16h). , Embedded Labworks, EL, Brasil.

2014 - 2015

PHP com Banco de Dados. (Carga horária: 120h). , Universidade do Trabalho Digital, UDT, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Francês

Compreende Bem, Fala Bem, Lê Razoavelmente, Escreve Razoavelmente.

Áreas de atuação

Grande área: Outros / Área: Microeletrônica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Embarcados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas FPGA.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Arquitetura de Sistemas de Computação.

Produções bibliográficas

  • SILVA, FELIPE ; MUNIZ, ADAHIL ; STEFANI, MARCO ; SILVEIRA, JARBAS ; MARCON, CESAR . Expanding Column Line Code Adaptive (CLC-A) for Protecting 32-and 64-Bit Data. IEEE Design & Test , v. 39, p. 15-22, 2022.

  • SILVA, FELIPE ; MUNIZ, ADAHIL ; SILVEIRA, JARBAS ; MARCON, CESAR . CLC-A: An Adaptive Implementation of the Column Line Code (CLC) ECC. In: 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020, Campinas. 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020. p. 1.

Histórico profissional

Experiência profissional

2017 - 2017

Universidade Federal do Ceará

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica - UFC, Carga horária: 16

Outras informações:
Desenvolvimento de uma plataforma de aquisição de aceleração em rede.

2015 - 2016

Universidade Federal do Ceará

Vínculo: Bolsista, Enquadramento Funcional: Integrante do Programa de Educação Tutorial, Carga horária: 20

Outras informações:
Desenvolvimento: Projetos com a plataforma Arduino; Desenvolvimento de um sistema gerador de certificados em PHP; Manutenção de sistemas WEB em PHP.Ensino/Extensão: CODING - Aulas ministradas sobre C++ para alunos de escola profissionalizante; BDjr - Aulas ministradas sobre banco de dados e SQL para alunos de graduação.Pesquisa: Sistemas Embarcados (Linux e Bare-Metal).

2019 - 2020

Laboratório de engenharia de Sistemas de Computaçao

Vínculo: Bolsista, Enquadramento Funcional: Estagiário em design de RTL para FPGA, Carga horária: 20

Outras informações:
Desenvolvimento e teste de Firmware em C/C++ para criação de drivers e rotinas. Desenvolvimento e teste de RTL embarcado em FPGA para interface entre microcontrolador e memórias externas de um Computador de Bordo para satélites do tipo CUBESAT. Projeto arquitetural do circuito RTL. Desenvolvimento de scripts TCL e Makefile para automatização de compilação e síntese para FPGA. Versionamento GIT dos projetos desenvolvidos.

2017 - 2018

Laboratório de engenharia de Sistemas de Computaçao

Vínculo: Voluntário, Enquadramento Funcional: Membro do grupo SACODE

Outras informações:
Desenvolvimento e teste de firmware;Montagem e teste de hardware.

2016 - 2017

Laboratório de engenharia de Sistemas de Computaçao

Vínculo: Voluntário, Enquadramento Funcional: Bolsista Voluntário

Outras informações:
Estudos sobre sistemas embarcados e desenvolvimento de uma plataforma de aquisição em rede.

2019 - 2019

AEDVICES Consulting Application Engineering, Design and Verification in IC

Vínculo: Estágio, Enquadramento Funcional: Estagiário em Design e Verificação, Carga horária: 35

Outras informações:
Implementação de um ambiente de verificação em SystemVerilog para um SoC baseado em processador da arquitetura RISC-V usando UVM (Unified Verification Methodology) e integrando os VIPs desenvolvidos pela companhia; Atualização e desenvolvimento do ambiente e do plano de verificação de um IP UART 16550 Atualização e correção dos VIPs UART e JTAG. Script para automatização de compilação e simulação usando TCL, Bash, Python e Makefile para trabalhar em ambiente Linux ecom as ferramentas QuestaSim (Mentor Graphics) e Xcelium (Cadence); Desenvolvimento de práticas para treinamentos em design e verificação com SystemVerilog e UVM; Experiência como assistente de professor em treinamentos ministrados para empresa cliente; Versionamento GIT dos projetos desenvolvidos.

2020 - 2021

Thales Group

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor de Sistemas Embarcados/FPGA, Carga horária: 44, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de Firmware em C/C++ para controlador embarcado em FPGA, atuando no desenvolvimento de drivers para componentes Hard Coded e Soft Coded; Implementação de código RTL em VHDL e Verilog embarcado em FPGA (Xilinx) para descrição de subsistemas de radar e de servomecanismo; Desenvolvimento de IPs com interface AXI Stream e manutenção de Banco de Registradores com interface AXI Lite; Concepção de testbenches usando metodologia de teste unitário para os componentes desenvolvidos; Depuração de lógica embarcada em FPGA utilizando ILA (Integrated Logic Analyzer) e a ferramenta Vivado; Desenvolvimento de scripts TCL, Makefile e Python para automatização de compilação e de simulação de RTL; Versionamento GIT dos projetos desenvolvidos;

2021 - Atual

Instituto de Pesquisas Eldorado - Brasília

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor FPGA e Verificação, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de planos de verificação rigorosos usando a metodologia orientada por cobertura, abrangendo itens de cobertura, asserções e sequências; Desenvolvimento de ambiente de verificação e casos de teste para subsistemas de módulos FPGA usando UVM e SVA; Desenvolvimento, manutenção e atualização de agentes UVM AXI Lite e AXI Stream; Implementação e manutenção de código RTL de um IP que implementa o protocolo de rede RoCEv1 em System Verilog para ser embarcado em FPGA (Xilinx); Desenvolvimento de testbenches utilizando System Verilog e Python; Manutenção e atualização de Agente UVM AXI Lite e AXI Stream; Desenvolvimento de scripts TCL e Makefile para automação de compilação e simulação de RTL usando o simulador Xcelium e os IPs da Xilinx; Assistência ao time de verificação para clarificar dúvidas e ajudar com codificação; Versionamento GIT dos projetos desenvolvidos;