Pablo Pereira Pires

Bacharel em Ciëncia da Computação envolvido em Projetos de Sistemas Digitais desde a Iniciação Científica. Atualmente trabalha com Verificação Funcional, principalmente, metodologias de verificação dirigidas por cobertura, especificação de planos de verificação e casos de teste e desenvolvimento de ambientes de verificação automatizados, robustos e reusáveis.

Informações coletadas do Lattes em 03/02/2026

Acadêmico

Formação acadêmica

Graduação em Ciência da Computação

2005 - 2009

Universidade do Vale do Itajaí
Orientador: Cesar Albenes Zeferino

Formação complementar

2010 - 2010

Treinamento em FPGA - Altera. (Carga horária: 24h). , Centro de Tecnologia da Informação Renato Archer.

2010 - 2010

Programa CI-Brasil - Cadence Design Systems/MCT. (Carga horária: 688h). , Centro de Treinamento 2, Centro de Tecnologia da Informação Renato Archer.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Outros / Área: Microeletrônica / Subárea: Verificação Funcional.

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: Arquitetura de Sistemas de Computação.

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: Hardware.

Participação em eventos

VLSI-SoC - 17th IFIP/IEEE Internacional Conference on Very Large Scale Integration. 2009. (Congresso).

5ª Semana da Computação. 2009. (Outra).

VII Seminário de Iniciação Científica.Biblioteca de Testbenches para Circuitos Digitais. 2008. (Seminário).

23º Simpósio Sul de Microeletrônica. 2008. (Simpósio).

X Escola de Microeletrônica. 2008. (Simpósio).

3ª Semana da Computação. 2008. (Outra).

4ª Semana da Computação. 2008. (Outra).

Série de Seminários em Sistemas Embarcados. 2007. (Seminário).

2ª Semana da Computação. 2007. (Outra).

II Semana Acadêmica do CTTMar. 2007. (Outra).

Produções bibliográficas

  • PIRES, P. P. ; ZEFERINO, C. A. . Verificação Funcional Aplicada a Redes-em-Chip. In: Iberchip XVI Workshop, 2010, Foz do Iguaçu. IBERCHIP XVI Workshop, 2010.

  • PIRES, Pablo Pereira ; SANTIAGO, D. F. M. ; ZEFERINO, C. A. . Biblioteca de Testbenches para Circuitos Digitais. In: VII Seminário de Iniciação Científica, 2008, Itajaí. VII Seminário de Iniciação Científica, 2008.

  • PIRES, Pablo Pereira ; SANTIAGO, D. F. M. ; ZEFERINO, C. A. . Biblioteca de Testbenches para Circuitos Digitais. 2008. (Apresentação de Trabalho/Seminário).

Projetos de pesquisa

  • 2007 - 2008

    Biblioteca de Testbenches para Validação de Circuitos Digitais Modelados em HDL, Descrição: Com o crescimento do setor de hardware no Brasil, tem aumentado a demanda por profissionais com formação prévia na aplicação de HDLs na modelagem de circuitos. Portanto, é necessário introduzir o ensino de HDLs em cursos de Engenharia e de Ciência da Computação. No entanto, o ensino clássico de HDLs apresenta algumas limitações, especialmente se o conhecimento a respeito do circuito não é muito sólido. Nesse contexto, foram desenvolvidos testbenches para reduzir as dificuldades associadas ao estágio de validação do circuito, permitindo que o aluno foque no aprendizado da HDL. Neste projeto foi realizado o desenvolvimento de uma biblioteca de testbenches para os circuitos tipicamente utilizados no ensino de circuitos e sistemas digitais. Além disso, foram elaborados roteiros para experimentos práticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Pablo Pereira Pires - Integrante / Cesar albenes Zeferino - Coordenador / Diogo Felipe de Melo Santiago - Integrante., Financiador(es): Universidade do Vale do Itajaí - Bolsa.

  • 2007 - 2007

    Rede-em-Chip com Qualidade de Serviço, Descrição: Um dos problemas de maior relevância no cenário das redes-em-chip diz respeito à garantia de níveis de Qualidade de Serviço (QoS Quality of Service) às aplicações. Em resumo, trata-se de assegurar que a comunicação entre pares de núcleos conectados por meio de uma NoC ocorra dentro de um tempo limite e/ou com uma taxa de transferência mínima (garantia de latência e de vazão, respectivamente). Nesse contexto, neste projeto foi desenvolvida uma arquitetura de NoC com garantia de QoS a um baixo custo baseada em uma topologia em anel com alocação estática da largura de banda da rede aos núcleos do sistema. A metodologia utilizada incluiu o projeto dos componentes da rede, a modelagem em VHDL, a validação física em FPGA e a caracterização da rede quanto ao seu custo e consumo de energia.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Pablo Pereira Pires - Integrante / Cesar albenes Zeferino - Coordenador / Diogo Felipe de Melo Santiago - Integrante., Financiador(es): Universidade do Vale do Itajaí - Bolsa.

Projetos de desenvolvimento

  • 2008 - 2009

    Brazil-IP - Consórcio para Formação de Talentos na Concepção e Projeto de Sistemas Digitais e Propriedade Intelectual (IPs), Descrição: Na indústria automotiva, diversos dispositivos como sensores e atuadores são utilizados na implementação de sistemas que melhoram o desempenho, o conforto e a segurança dos automóveis. Esses dispositivos são interligados por meio de redes intra-veiculares, em geral baseadas em arquiteturas do tipo barramento. A partir da década de 90, o aumento do número de dispositivos integrados aos automóveis levou à necessidade de se adotar arquiteturas hierárquicas baseadas em uma rede principal (ou backbone) e em sub-redes de forma a aliviar a carga de comunicação no backbone. Uma das soluções de sub-rede desenvolvidas para este fim foi o LIN Local Interconnect Network, cujo protocolo foi especificado pelo LIN Consortium (2006). Este projeto consiste no desenvolvimento de um núcleo de interface IP escravo LIN para a construção de nodos IP. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Pablo Pereira Pires - Integrante / Cesar albenes Zeferino - Integrante / Diogo Felipe de Melo Santiago - Integrante / Rodrigo Vinícius Mendonça Pereira - Coordenador / Éderson Recalcatti - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Histórico profissional

Endereço profissional

  • Centro Nacional de Tecnologia Eletrônica Avançada. , Estrada João de Oliveira Remião, 777, Agronomia, 91550000 - Porto Alegre, RS - Brasil, Telefone: (51) 33209907, URL da Homepage:

Experiência profissional

2013 - Atual

Centro Nacional de Tecnologia Eletrônica Avançada

Vínculo: Celetista, Enquadramento Funcional: Especialista Tecnologia Eletrônica Avançada, Carga horária: 44

Outras informações:
Participante da equipe de Verificação Funcional. Responável por planejamento de verificação, especificação de casos de teste, especificação e implementação de estruturas de verificação, criação de modelos de cobertura e de referência. Geração de testes, sequências e cenários complexos utilizando estímulos pseudo-aleatórios para RTL e netlists.

2012 - 2013

Macnica DHW

Vínculo: , Enquadramento Funcional: Desenvolvedor de Hardware, Carga horária: 40

Outras informações:
As principais funções desempenhadas eram: - Especificação de microarquitetura - Codificação RTL (Verilog e VHDL) - Simulações e Verificação Funcional - Prototipação em FPGA - Geração de scripts e automação do fluxo de trabalho

2011 - 2011

Centro de Pesquisas Avançadas Wernher Von Braun

Vínculo: Bolsista, Enquadramento Funcional: Projetista de ASICs Digitais, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Participante da equipe de verificação funcional. Desenvolvimento de componentes fundamentais para o ambiente de verificação (VIPs). Criação de modelos de referência e de cobertura em níveis mais altos de abstração. Geração de testes, seqüências e cenários complexos utilizando estímulos pseudo-aleatórios para simulações em RTL e netlists (pré e pós layout), além de criar testes para rodar em regressão. SystemVerilog associado a OVM/UVM, além de outras linguagens de script, como shell, Tcl e Perl.

2010 - 2010

Centro de Treinamento 2, Centro de Tecnologia da Informação Renato Archer

Vínculo: Bolsista SDT, Enquadramento Funcional: Projetista de circuitos integrados digitais, Carga horária: 44, Regime: Dedicação exclusiva.

Outras informações:
Líder de uma equipe de 17 projetistas de circuitos digitais em treinamento no projeto de um microcontrolador de 8 bits utilizado em aplicações automotivas que executa o conjunto de instruções do 8051. Teve oportunidade de trabalhar em todo o fluxo de projeto digital, principalmente nas seguintes etapas: Especificação do sistema; codificação RTL em Verilog de blocos de baixa complexidade; síntese RTL do top level; desenvolvimento do ambiente de verificação; verificação do controlador de interrupções; DFT do topo e implementação física do chip.

2006 - 2007

Universidade do Vale do Itajaí

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 20

Outras informações:
Monitoria na Disciplina de Circuitos Digitais. Principais atividades desenvolvidas: Estudo dirigido de Circuitos Digitais; Auxílio aos alunos da disciplina; Elaboração de tutoriais de ferramentas de simulação do processador MIPS; Estudo e prática de VHDL; Estudo e prática de Projeto de Sistemas Digitais utilizando os ambientes Max+Plus II e Quartus II; Participação no desenvolvimento de Redes-em-Chip.

Atividades

  • 09/2006 - 12/2007

    Estágios , Centro de Educação de Ciências Tecnológicas, da Terra e do Mar, Ciência da Computação.,Estágio realizado, Monitor da Disciplina de Circuitos Digitais.