Biographical sketches of authors

Hans-Werner Anderson IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany (anderson@de.ibm.com). Mr. Anderson is an Advisory Engineer in the eServer zSeries Processor Development Group. In 1985, he received his Dipl.-Ing. degree in electrical engineering from the Technical University of Stuttgart. He joined IBM in 1985 and works on chip physical design, logic simulation, and verification tools.

Hans Kriese IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany (hkriese@de.ibm.com). Mr. Kriese is an Advisory Engineer in the eServer zSeries Processor Development Group. In 1973, he received a diploma in physics from the University of Tuebingen. He joined IBM in 1973 and works on logic and packaging design entry, logic simulation, and verification tools.

Wolfgang Roesner IBM Systems and Technology Group, 11400 Burnet Road, Austin, Texas 78758 (wolfgang@us.ibm.com). Dr. Roesner is an IBM Distinguished Engineer. He is the technical leader for System Group verification tools development, and the verification methodology leader for the next-generation server. He received his Dipl.-Ing. and Dr.-Ing. degrees from the University of Kaiserslautern in 1980 and 1983, respectively. Dr. Roesner developed simulators and hardware design languages at IBM in Boeblingen, Germany, later joining the POWER processor development team, where he co-developed the TexSim simulation system. His verification tools have been used on all IBM CMOS microprocessor projects, and since 1996 he has been responsible for the strategy of verification tools development. Dr. Roesner has received three IBM Outstanding Achievement Awards and one IBM Corporate Award for development in hardware design language processing and simulation.

Klaus-Dieter Schubert IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany (kdschube@de.ibm.com). Mr. Schubert is a Senior Technical Staff Member in the Hardware Development organization in the Boeblingen laboratories. He received his M.S. degree in electrical engineering in 1990 from Stuttgart University. He subsequently joined IBM in Boeblingen and has been responsible for hardware verification of multiple S/390* systems. He was the technical leader for the hardware verification of the z900 2064 system and is currently responsible for the system verification including the VPO activities for all eServers including the z990 system. Mr. Schubert holds three patents and has received two IBM Outstanding Technical Achievement Awards for his work on zSeries verification.