Title: Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung