Adenor de Oliveira Leme
Possui graduação em Engenharia de Computação pela Universidade Católica Dom Bosco(2014). Atualmente é Engenheiro de verificação da EnSilica. Tem experiência na área de Microeletrônica.
Informações coletadas do Lattes em 05/06/2025
Acadêmico
Formação acadêmica
Graduação em Engenharia de Computação
2010 - 2014
Universidade Católica Dom Bosco
Título: Balanceamento de carga em servidores Web
Orientador: Pericles Christian Moraes Lopes
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Á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 de Computação/Especialidade: Hardware.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
Histórico profissional
Experiência profissional
2021 - Atual
EnSilicaVínculo: Celetista, Enquadramento Funcional: Engenheiro de verificação, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Desenvolvimento e manutenção de ambientes de verificação (testbenches) para verificação funcional utilizando SystemVerilog e UVM.Verificação funcional de sistemas-em-chip (SoCs)Criação de casos de teste diretos e randomizados para garantir máxima cobertura de código e funcional.Verificação/simulação de "netlist" (gate-leve simulations).Documentação dos ambientes de verificação, bem como dos casos de teste implementados e seus resultados.Implementação de melhorias em ambientes de verificação existentes para melhorar a qualidade do teste.Revisão de cobertura de código e cobertura funcional.Desenvolvimento de "scripts" de automação utilizando Python e Shell Script.Atualização e manutenção de ferramentas e "scripts" internos usados no processo de verificação funcional.Manutenção de ferramentas de automação e integração.
2019 - 2021
AEL SistemasVínculo: Celetista, Enquadramento Funcional: Engenheiro de verificação, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Desenvolvimento e manutenção de ambientes de verificação (testbenches) para verificação funcional utilizando SystemVerilog e UVM.Verificação funcional de sistemas-em-chip (SoCs)Criação de casos de teste diretos e randomizados para garantir máxima cobertura de código e funcional.Verificação/simulação de "netlist" (gate-leve simulations).Documentação dos ambientes de verificação, bem como dos casos de teste implementados e seus resultados.Implementação de melhorias em ambientes de verificação existentes para melhorar a qualidade do teste.Revisão de cobertura de código e cobertura funcional.
2017 - 2019
AEL SistemasVínculo: Bolsista, Enquadramento Funcional: Trainee, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Desenvolvimento e manutenção de ambientes de verificação (testbenches) para verificação funcional utilizando SystemVerilog e UVM.Verificação funcional de sistemas-em-chip (SoCs)Criação de casos de teste diretos e randomizados para garantir máxima cobertura de código e funcional.Verificação/simulação de "netlist" (gate-leve simulations).Documentação dos ambientes de verificação, bem como dos casos de teste implementados e seus resultados.Implementação de melhorias em ambientes de verificação existentes para melhorar a qualidade do teste.Revisão de cobertura de código e cobertura funcional.Desenvolvimento de "scripts" de automação utilizando Python e Shell Script.Atualização e manutenção de ferramentas e "scripts" internos usados no processo de verificação funcional.Manutenção de ferramentas de automação e integração.
2015 - 2016
NSCAD MicroeletrônicaVínculo: Bolsista, Enquadramento Funcional: Trainee no Programa CI Brasil, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Fase 1: Treinamento em implementação e verificação do fluxo ASIC. Implementação RTL do processor MIPS monociclo de 32 bits e do microprocessador Charrua processador multiciclo de 16 bits utilizando a linguagem Verilog. Sínteses lógica e física de ambos os microprocessadores e verificação funcional utilizando eRM e eLanguage.Fase 2: Atuação como engenheiro de verificação de um bloco interno do Projeto Potiguara utilizando eRM e eLanguage. O bloco isolador de canais, parte do macro bloco Decodificador, responsável por isolar em 8 diferente canais, 8 mensagens moduladas em uma única forma de onda.
2012 - 2013
Tribunal de Justiça do Estado de Mato Grosso do Sul (MS)Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 25
Outras informações:
Suporte a usuários, reparo e manutenção de computadores e redes de computadores.
2015 - 2015
CTIS Tecnologia S.AVínculo: Celetista, Enquadramento Funcional: Analista de Suporte, Carga horária: 40
2015 - 2015
Unisys Informática LtdaVínculo: Empregado, Enquadramento Funcional: Assistente de Suporte Técnico UTS III, Carga horária: 30, Regime: Dedicação exclusiva.
2013 - 2014
Owlas System SoftwareVínculo: Empregado, Enquadramento Funcional: Técnico de Suporte Computacional Nível II, Carga horária: 40
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Adenor de Oliveira Leme 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?