A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs.

Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev

Browse the full DSD paper archive.