Efficient verification of out-of-order behaviors with relaxed scoreboards. - Leandro S. Freitas; Gabriel A. G. Andrade; Luiz C. V. dos Santos (ICCD, 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 (ICECS, 2012)

Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems. - Gabriel A. G. Andrade; Marleson Graf; Luiz C. V. dos Santos (ICCD, 2016)

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 (ICCAD, 2018)

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 (DATE, 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)

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)

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., 2023)