Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen

Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig. Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. 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 157-166, Universitätsbibliothek Berlin, Germany, 2009.

Authors

Jens Gladigau

This author has not been identified. Look up 'Jens Gladigau' in Google

Christian Haubelt

This author has not been identified. Look up 'Christian Haubelt' in Google

Martin Streubühr

This author has not been identified. Look up 'Martin Streubühr' in Google

Jürgen Teich

This author has not been identified. Look up 'Jürgen Teich' in Google

Axel Schneider

This author has not been identified. Look up 'Axel Schneider' in Google

Joachim Knäblein

This author has not been identified. Look up 'Joachim Knäblein' in Google

Michael Lindig

This author has not been identified. Look up 'Michael Lindig' in Google