Search the dblp DataBase

Publications of Author

1. Matthias Mutz
   Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. [Citation Graph (0, 0)][DBLP]
   CAV, 1991, pp:277-287 [Conf]
   
2. Matthias Mutz
   Automatic post-synthesis verification support for a high level synthesis step by using the HOL theorem proving system. [Citation Graph (0, 0)][DBLP]
   CHARME, 1997, pp:291-308 [Conf]
   
3. Matthias Mutz
   Register Transfer Level VHDL Models without Clocks. [Citation Graph (0, 0)][DBLP]
   DATE, 1998, pp:153-158 [Conf]
   
4. Thomas Lock, Michael Mendler, Matthias Mutz
   Combined Formal Post- and Presynthesis Verification in High Level Synthesis. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1998, pp:222-236 [Conf]
   
5. Werner Grass, Matthias Mutz
   Modulare Implementierung von Schaltwerken unter Berücksichtigung topologischer Randbedingungen. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 1988, pp:160-173 [Conf]
   
6. 
   An automatically verified generalized multifunction arithmetic pipeline. [Citation Graph (, )][DBLP]