Predictive runtime verification of multi-processor SoCs in SystemC

Alper Sen, Vinit Ogale, Magdy S. Abadir. Predictive runtime verification of multi-processor SoCs in SystemC. In Limor Fix, editor, Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008. pages 948-953, ACM, 2008. [doi]

Authors

Alper Sen

This author has not been identified. Look up 'Alper Sen' in Google

Vinit Ogale

This author has not been identified. Look up 'Vinit Ogale' in Google

Magdy S. Abadir

This author has not been identified. Look up 'Magdy S. Abadir' in Google