Parallel Stimulus Generation Based on Model Checking for Coherence Protocol Verification | IEEE Journals & Magazine | IEEE Xplore