Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung