Ich erforsche im Kontext der Graduiertenschule „System Design” die Simulation und formale Verifikation von fehlertoleranten Systemen. Da die einzelnen Transistoren immer kleiner werden und weniger Spannung benötigen, können sich Signale durch kosmische Strahlen oder andere Nebeneffekte immer leichter verändern. Aus diesem Grund nimmt Fehlertoleranz in neuen Systemen eine immer wichtiger werdende Rolle ein. Die Fehlertoleranz soll gewährleisten, dass eine solche fehlerhafte Veränderung eines Signales sich nicht in einem für den Benutzer sichtbaren Defekt äußert. Hierbei betrachte ich im Speziellen den Prozessor Leon3.