Title: Mikroarchitekturen und Mikroprogrammierung : Formale Beschreibung und Optimierung