Login / Signup
Olav P. Henschel
Publication Activity (10 Years)
Years Active: 2011-2019
Publications (10 Years): 1
Top Topics
Memory Usage
English Language
Chip Design
Consistency Checking
Top Venues
ICECS
DATE
ICCAD
</>
Publications
</>
Marleson Graf
,
Olav P. Henschel
,
Rafael P. Alevato
,
Luiz C. V. dos Santos
Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification.
ICCAD
(2019)
Olav P. Henschel
,
Luiz C. V. dos Santos
Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking.
ICECS
(2013)
Eberle A. Rambo
,
Olav P. Henschel
,
Luiz C. V. dos Santos
On ESL verification of memory consistency for system-on-chip multiprocessing.
DATE
(2012)
Eberle A. Rambo
,
Olav P. Henschel
,
Luiz C. V. dos Santos
Automatic generation of memory consistency tests for chip multiprocessing.
ICECS
(2011)