Predictive runtime verification of multi-processor SoCs in SystemC.

Alper Sen, Vinit Ogale, Magdy S. Abadir

Browse the full DAC paper archive.