Augusto Mafra

According to our database, Augusto Mafra authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Bottom-Up Generation of Verilog Designs for Testing EDA Tools.

João Victor Amorim, Luiza de Melo Gomes, Rafael Sumitani, Raissa Maciel, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira

CoRR, April, 2025

Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience.

Mirlaine Crepalde, Augusto Mafra, Lucas Cavalini, Lucas Martins, Guilherme Amorim, Pedro Henrique Santos, Fabiano Peixoto

Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction, 2025

2024

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools.

Rafael Sumitani, João Victor Amorim, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira

CoRR, 2024

2021

Enhancing Performance of Gabriel Graph-Based Classifiers by a Hardware Co-Processor for Embedded System Applications.

Janier Arias-Garcia, Augusto Mafra, Liliane Gade, Frederico Coelho, Cristiano Leite Castro, Luiz C. B. Torres, Antônio de Pádua Braga

IEEE Trans. Ind. Informatics, 2021