The Kiel Esterel processor [Elektronische Ressource] : a multi-threaded reactive processor / Xin Li

The Kiel Esterel Processor:A Multi-Threaded Reactive ProcessorDissertationzur Erlangung des akademischen GradesDoktor der Ingenieurwissenschaften(Dr. -Ing.)der Technischen Fakult¨atder Christian-Albrechts-Universit¨at zu KielXin LiKiel20071. Gutachter Reinhard von Hanxleden2. Gutachter Michael MendlerDatum der mundlic¨ hen Prufung¨ 23. Juli 2007AcknowledgementsThis thesis would not have been possible without the support of many people. Mydeepestgratitudeistomysupervisor,ProfessorReinhardvonHanxleden,forhisprecioussuggestions, friendlyadvice, andgivingmethefreedomtopursuearesearchtopic. Mostof all, for his patience with my mistakes and extreme generosity with his time. Hisscientific vision, high standards, detailed comments and discussions, and solid insightinto embedded system design have given me guidance to follow throughout my researchefforts. I am also grateful to him for having provided me chances to attend manyconferences, which have expanded my horizon and inspired me to conduct this researchwork.Furthermore,myspecialthanksgotoProf.MichaelMendlerattheUniversit¨atBamberg,Prof. StephenA.EdwardsatColumbiaUniversity,Dr.StavrosTripakisandDr.ClaudioPinello at Cadence Berkeley Labs, and Prof. Alberto Sangiovanni-Vincentelli at theUniversity of California Berkeley for their inspiring talks, suggestions and advice whichwere very helpful for my work.