Olav P. Henschel

According to our database, Olav P. Henschel authored at least 4 papers between 2011 and 2019.

Collaborative distances:

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

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

2013

Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking.

Olav P. Henschel, Luiz C. V. dos Santos

Proceedings of the 20th IEEE International Conference on Electronics, 2013

2012

On ESL verification of memory consistency for system-on-chip multiprocessing.

Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Automatic generation of memory consistency tests for chip multiprocessing.

Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011