Gabriel A. G. Andrade

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

Collaborative distances:

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

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