Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen | lit.salon