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

Browse the full ICCAD paper archive.