On-the-fly verification of memory consistency with concurrent relaxed scoreboards | IEEE Conference Publication | IEEE Xplore