Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks

Matthias Mutz, Sebastian Steibl. Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. In Matthias Mutz, Nikolaus Lange, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. pages 61-70, Shaker, 1999.

Authors

Matthias Mutz

This author has not been identified. Look up 'Matthias Mutz' in Google

Sebastian Steibl

This author has not been identified. Look up 'Sebastian Steibl' in Google