Gabriel A. G. Andrade

According to our database, Gabriel A. G. Andrade authored at least 8 papers between 2012 and 2023.

Collaborative distances:

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

2023

EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification.

Marleson Graf, Gabriel A. G. Andrade, Luiz C. V. dos Santos

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

2020

Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification.

Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs.

Gabriel A. G. Andrade, Marleson Graf, Nícolas Pfeifer, Luiz C. V. dos Santos

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification.

Nícolas Pfeifer, Bruno V. Zimpel, Gabriel A. G. Andrade, Luiz C. V. dos Santos

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2018

Steep coverage-ascent directed test generation for shared-memory verification of multicore chips.

Gabriel A. G. Andrade, Marleson Graf, Nícolas Pfeifer, Luiz C. V. dos Santos

Proceedings of the International Conference on Computer-Aided Design, 2018

2016

Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems.

Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

2012

A template for the construction of efficient checkers with full verification guarantees.

Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos

Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Efficient verification of out-of-order behaviors with relaxed scoreboards.

Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos

Proceedings of the 30th International IEEE Conference on Computer Design, 2012