RaceCheck: A Race Logic Audit Program For SoC Designs | IEEE Conference Publication | IEEE Xplore