Gabriel A. G. Andrade

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Symbolic Execution

Parallel Architecture

Top Venues

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

Publications

Marleson Graf, Gabriel A. G. Andrade, Luiz C. V. dos Santos
EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (2) (2023)
Nícolas Pfeifer, Bruno V. Zimpel, Gabriel A. G. Andrade, Luiz C. V. dos Santos
A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification. DATE (2020)
Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos
Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (3) (2020)
Gabriel A. G. Andrade, Marleson Graf, Nícolas Pfeifer, Luiz C. V. dos Santos
A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Gabriel A. G. Andrade, Marleson Graf, Nícolas Pfeifer, Luiz C. V. dos Santos
Steep coverage-ascent directed test generation for shared-memory verification of multicore chips. ICCAD (2018)
Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos
Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems. ICCD (2016)
Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos
Efficient verification of out-of-order behaviors with relaxed scoreboards. ICCD (2012)
Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos
A template for the construction of efficient checkers with full verification guarantees. ICECS (2012)