Terence Chan. RaceCheck: A race logic audit program for ESL-based soc designs. In IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2008, Macao, China, November 30 2008 - December 3, 2008. pages 1268-1271, IEEE, 2008. [doi]
Abstract is missing.