Person

FH-Prof. DI Dr. Markus Pfaff

Verification of digital Systems, Serial High-Speed Busses, Asynchronous Circuits

Education

Johannes Kepler Universität Linz, Doktoratsstudium der techn. Wissenschaften, Dr. techn.
Jan 1994 - Oct 1999
Technische Hochschule Darmstadt, Studium der Elektrotechnik, Dipl.-Ing.
Oct 1987 - Apr 1993

Research interests

  • Serial High-Speed Busses
  • Asynchronous Circuits
  • Verification of digital Systems
2011
M. Pfaff, W. Oehme, M. Huemer - Electronics and Circuits in Electronics and Circuits (Editors: W. Friedrich Oehme, Mario Huemer) - Hanse Fachbuchverlag Leipzig, 2011, pp. 300 more
2009
F. Eibensteiner, R. Findenig, M. Pfaff - SynPSL: Behavioral Synthesis of PSL Assertions - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spain, 2009, pp. 69-74 more
2009
R. Findenig, F. Eibensteiner, M. Pfaff - Optimizing the Hardware Usage of Parallel FSMs - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spain, 2009, pp. 63-68 more
2009
M. Hofstätter, G. Mayer, R. Findenig, F. Eibensteiner, M. Pfaff - RAM-Based Design Pattern for Area-Optimized Multi-IP-Core Designs - 3. Research Forum of the Austrian Universities of Applied Science, Villach, Austria, 2009, pp. 147-151 more
2008
R. Findenig, F. Eibensteiner, M. Pfaff - Echtzeit-Überwachung von Hard- und Software mit PSL - Proceedings Austrochip 2008, Linz, Austria, 2008, pp. 44-47 more
2007
M. Pfaff, D. Malzner, J. Seifert, J. Traxler, H. Weber, G. Wiendl - Implementing Digital Audio Effects Using a Hardware/Software Co-Design Approach - Digital Audio Effects 2007 - DAFx-07, Bordeaux, France, 2007, pp. 125-132 more
2007
H. Obereder, C. Saminger, M. Pfaff - Verification of a third-generation-interconnection from implementation to initial operation - Proceedings of the PCI SIG Developers Conference 2007, San Jose, United States of America, 2007 more
2007
H. Obereder, M. Pfaff, C. Saminger - Behavioral synthesis of property specification language (PSL) assertions - Proceedings of the International Symposium on Rapid System Prototyping 2007, Porto Alegre, Brazil, 2007 more
2007
H. Obereder, M. Pfaff, C. Saminger - The Synthese of "Property Speficifation Language" (PSL) Assertions - Research-Meeting Universities of Supplied Sciences Austria 2007, Campus Urstein, Austria, 2007 more
2007
R. Findenig, M. Pfaff, F. Eibensteiner, J. Langer - Effiziente Hardware-Abbildung von PSL-Assertions - Proceedings: Austrochip 2007, Graz, Austria, 2007, pp. 85-90 more
2007
M. Pfaff, M. Kreuzgruber - Implementation of the CORDIC-Algorithm for Computation of the Inverse Kinematics of a Hexapod Robot - Proceedings: Austrochip 2007, Graz, Austria, 2007, pp. 149-152 more
2006
C. Saminger, M. Pfaff, H. Obereder - Simulation of the signal integrity of high-speed signals for variable parameters of the PCB - Proceedings of the Mentor Graphics User Conference 2006, Frankfurt, Germany, 2006 more