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.
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
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
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çaoVí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çaoVí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çaoVí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 ICVí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 GroupVí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íliaVí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;
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Manuel Adahil Muniz Osterno e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?