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

Bandeira representando o idioma 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

EnSilica

Ví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 Sistemas

Ví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 Sistemas

Ví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ônica

Ví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.A

Vínculo: Celetista, Enquadramento Funcional: Analista de Suporte, Carga horária: 40

2015 - 2015

Unisys Informática Ltda

Vínculo: Empregado, Enquadramento Funcional: Assistente de Suporte Técnico UTS III, Carga horária: 30, Regime: Dedicação exclusiva.

2013 - 2014

Owlas System Software

Vínculo: Empregado, Enquadramento Funcional: Técnico de Suporte Computacional Nível II, Carga horária: 40