Terence Chan: RaceCheck: A race logic audit program for ESL-based soc designs. APCCAS 2008: 1268-1271