Marleson Graf

According to our database, Marleson Graf authored at least 6 papers between 2016 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

2019

Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification.

Marleson Graf, Olav P. Henschel, Rafael P. Alevato, Luiz C. V. dos Santos

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

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