文档介绍：Speeding Up Hardware Verification
by Automated Data Path Scaling
Dissertation
zur Erlangung des akademischen Grades
Doktor der Naturwissenschaften
(Dr. rer. nat.)
der Technischen Fakult¨at
der Christian-Albrechts-Universit¨atzu Kiel
Peer Johannsen
Kiel,
im August 2002
1. Gutachter: Prof. Dr. Th. Wilke
2. Gutachter: Prof. Dr. W.-P. de Roever
Datum der m¨undlichen Pr¨ufung: 18. Dezember 2002
Acknowledgments
Ask, and it will be given you,
seek, and you will find,
knock, and it will be opened to you.
For every one who asks receives,
and he who seeks finds,
and to him who knocks it will be opened.
– Matthew, Chapter 7:7 –
Per Aspera ad Astra ...
– A rough road leads to the stars –
pletion of this work brings to a close a long journey. Many have helped me along the
way, but rather than thanking a great number of people, I want to thank a number of great
people. People who have assisted me and without whom I could not have eeded. This work
would not have been possible without their help and support.
First of all, I want to thank my supervisors Thomas Wilke and Willem-Paul de Roever at the
University of Kiel for reviewing my thesis and for agreeing to a long-distance collaboration and
supervision. Their careful advice has considerably influenced my work. Furthermore, I want to
thank Margrit Krause and Erich Valkema for their help and for the very pleasant atmosphere
at the chair during all my visits to Kiel. In addition, I want to thank Wolfgang Thomas at the
RWTH Aachen, whose teaching and guidance has been a constant source of inspiration and help
over the last years.
Secondly, I want to thank Siemens Corporate Technology and Infineon Technologies for giving me
the opportunity to do the research that resulted in this thesis at their research centers in Munich,
Germany, and for providing a highly inspiring research environment. Working between the two
worlds of academia and industry and being concerned with real world i