Gabriel Arthur Gerber Andrade

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• GRAF, MARLESON ; ANDRADE, GABRIEL A. G. ; DOS SANTOS, LUIZ C. V. . EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification. Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems , v. 42, p. 683-696, 2023.

• ANDRADE, GABRIEL A. G. ; GRAF, MARLESON ; PFEIFER, NICOLAS ; DOS SANTOS, LUIZ C. V. . A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS , v. 39, p. 5295-5303, 2020.

• ANDRADE, GABRIEL A. G. ; GRAF, MARLESON ; DOS SANTOS, LUIZ C. V. . Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS , v. 39, p. 1-1, 2019.

• PFEIFER, NICOLAS ; ZIMPEL, BRUNO V. ; ANDRADE, GABRIEL A. G. ; DOS SANTOS, LUIZ C. V. . A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification. In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, Grenoble. 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020. p. 538.

• ANDRADE, GABRIEL A. G. ; GRAF, MARLESON ; PFEIFER, NÍCOLAS ; DOS SANTOS, LUIZ C. V. . Steep coverage-ascent directed test generation for shared-memory verification of multicore chips. In: the International Conference, 2018, San Diego. Proceedings of the International Conference on Computer-Aided Design - ICCAD '18. New York: ACM Press, 2018. p. 1-8.

• ANDRADE, GABRIEL A. G. ; GRAF, MARLESON ; DOS SANTOS, LUIZ C. V. . Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems. In: 2016 IEEE 34th International Conference on Computer Design (ICCD), 2016, Scottsdale. 2016 IEEE 34th International Conference on Computer Design (ICCD), 2016. p. 552.

• FREITAS, LEANDRO S. ; ANDRADE, GABRIEL A. G. ; DOS SANTOS, LUIZ C. V. . Efficient verification of out-of-order behaviors with relaxed scoreboards. In: 2012 IEEE 30th International Conference on Computer Design (ICCD 2012), 2012, Montreal. 2012 IEEE 30th International Conference on Computer Design (ICCD), 2012. p. 510.

• FREITAS, LEANDRO S. ; ANDRADE, GABRIEL A. G. ; DOS SANTOS, LUIZ C. V. . A template for the construction of efficient checkers with full verification guarantees. In: 2012 19th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2012), 2012, Seville. 2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012), 2012. p. 280.

• DOS SANTOS, LUIZ C. V. ; ANDRADE, G. A. G. ; GRAF, MARLESON ; PFEIFER, N. . Steep coverage-ascent directed test generation for shared-memory verification of multicore chips. 2018. (Apresentação de Trabalho/Conferência ou palestra).

Projetos de pesquisa

• 2024 - Atual

  Programa de apoio à pesquisa científica e tecnológica para a empresa de Pesquisa agropecuária e extensão rural de Santa Catarina Epagri., Descrição: O projeto tem como objetivo apoiar a implantação, o desenvolvimento e a execução de pesquisas científicas que contribuam para o fortalecimento da ciência, tecnologia e inovação (CTI) em Santa Catarina, por meio da promoção de atividades de apoio à pesquisa e experimentação em campo nas áreas da agricultura, pecuária e aquicultura, bem como em ambientes laboratoriais; da coleta, organização, análise, gestão e disseminação de informações e conhecimentos gerados na pesquisa agropecuária e na inovação; do suporte às ações relacionadas à inovação e à gestão da propriedade intelectual da Instituição; e do fomento à formação e capacitação de recursos humanos para atuação nos programas institucionais de pesquisa e inovação.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Gabriel Arthur Gerber Andrade - Integrante / Henrique Vinicius de Holanda - Integrante / Edilene Steinwandter - Coordenador / Marcia Mondardo - Integrante / Bianca Ariela Eickel Barel - Integrante / Debora Pivetta Thibes - Integrante / Lilian Elias - Integrante / Rosangela Aparecida da Silva - Integrante / Tarik Cucchi - Integrante / Tatiana Tozzi - Integrante / Walewska Barros da Costa - Integrante / Yasmin Metzler - Integrante / Marcio Gomes - Integrante / Rafael Althoff - Integrante / Michele Dreger - Integrante / Cristiele Tomm Deckert - Integrante / Elton Nogueira Santana - Integrante / Germano Benjamim Schmidt - Integrante., Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina - Bolsa.

Prêmios