Nícolas Pfeifer

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Reinforcement Learning

Symbolic Execution

Parallel Machines

Parallel Architecture

Top Venues

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

Publications

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