Matthias Mutz

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Matthias Mutz, Sebastian Steibl
Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. MBMV (1999)
Nikolaus Lange, Matthias Mutz
Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung. MBMV (1998)
Werner Grass, Thomas Kropf, Matthias Mutz
Formale Methoden bei der Spezifikation von Hardware. Informationstechnik Tech. Inform. 40 (3) (1998)
Thomas Lock, Michael Mendler, Matthias Mutz
Combined Formal Post- and Presynthesis Verification in High Level Synthesis. FMCAD (1998)
Matthias Mutz
Register Transfer Level VHDL Models without Clocks. DATE (1998)
Matthias Mutz
Automatic post-synthesis verification support for a high level synthesis step by using the HOL theorem proving system. CHARME (1997)
Matthias Mutz
An automatically verified generalized multifunction arithmetic pipeline. EURO-DAC (1994)
Matthias Mutz
Verification of digital circuits based on formal semantics of a hardware description language. EURO-DAC (1992)
Matthias Mutz
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. CAV (1991)
Werner Grass, Matthias Mutz
Modulare Implementierung von Schaltwerken unter Berücksichtigung topologischer Randbedingungen. GI Jahrestagung (2) (1988)