Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors