Matthias Mutz

According to our database, Matthias Mutz authored at least 11 papers between 1988 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks.

Matthias Mutz, Sebastian Steibl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

1998

Formale Methoden bei der Spezifikation von Hardware.

Werner Grass, Thomas Kropf, Matthias Mutz

Informationstechnik Tech. Inform., 1998

Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung.

Nikolaus Lange, Matthias Mutz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Combined Formal Post- and Presynthesis Verification in High Level Synthesis.

Thomas Lock, Michael Mendler, Matthias Mutz

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Register Transfer Level VHDL Models without Clocks.

Matthias Mutz

Proceedings of the 1998 Design, 1998

1997

Automatic post-synthesis verification support for a high level synthesis step by using the HOL theorem proving system.

Matthias Mutz

Proceedings of the Advances in Hardware Design and Verification, 1997

1994

An automatically verified generalized multifunction arithmetic pipeline.

Matthias Mutz

Proceedings of the Proceedings EURO-DAC'94, 1994

1993

Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung.

Matthias Mutz

PhD thesis, 1993

1992

Verification of digital circuits based on formal semantics of a hardware description language.

Matthias Mutz

Proceedings of the conference on European design automation, 1992

1991

Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior.

Matthias Mutz

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1988

Modulare Implementierung von Schaltwerken unter Berücksichtigung topologischer Randbedingungen.

Werner Grass, Matthias Mutz

Proceedings of the GI, 1988