A novel technique for atomic instructions functional verification using lock contention analysis | IEEE Conference Publication | IEEE Xplore