A Re-Use Methodology for SoC Protocol Compliance Verification

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. A Re-Use Methodology for SoC Protocol Compliance Verification. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 57-66, Universitätsbibliothek Berlin, Germany, 2009.

Authors

Minh D. Nguyen

This author has not been identified. Look up 'Minh D. Nguyen' in Google

Max Thalmaier

This author has not been identified. Look up 'Max Thalmaier' in Google

Markus Wedler

This author has not been identified. Look up 'Markus Wedler' in Google

Dominik Stoffel

This author has not been identified. Look up 'Dominik Stoffel' in Google

Wolfgang Kunz

This author has not been identified. Look up 'Wolfgang Kunz' in Google