Atomic instructions random tests generation using lock contention analysis

Abstract

Atomic operations functional verification is known to be a rather labour-intensive process because atomic operations cannot be tested with the help of stochastic test generation methods due to their unpredictable nature. verification strategy and process to adjust to a new project design.