A static analysis approach to data race detection in SystemC designs.

Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter

Browse the full DDECS paper archive.