Search Results - "Henschel, Olav P."

Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking by Henschel, Olav P., dos Santos, Luiz C. V.

“…Multiple cores interact through a complex shared-memory hierarchy that must satisfy coherence and consistency requirements. As the number of cores grows, the…”
Get full text

On ESL verification of memory consistency for system-on-chip multiprocessing by Rambo, Eberle A., Henschel, Olav P., dos Santos, Luiz C. V.

“…Chip multiprocessing is key to Mobile and high-end Embedded Computing. It requires sophisticated multilevel hierarchies where private and shared caches…”
Get full text

On ESL verification of memory consistency for system-on-chip multiprocessing by Rambo, E. A., Henschel, O. P., dos Santos, Luiz C. V.

“…Chip multiprocessing is key to Mobile and high-end Embedded Computing. It requires sophisticated multilevel hierarchies where private and shared caches…”
Get full text

Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification by Graf, Marleson, Henschel, Olav P., Alevato, Rafael P., dos Santos, Luiz C.V.

“…Multicore architectures are likely to largely relax sequential consistency constraints on store atomicity and on the ordering between loads and stores, while…”
Get full text

Automatic generation of memory consistency tests for chip multiprocessing by Rambo, E. A., Henschel, O. P., dos Santos, Luiz C. V.

“…Chip multiprocessing (CMP) changed the architectural landscape of PCs and servers and is now changing the way personal mobile devices are designed. CMP…”
Get full text