Integration und Automatische Verifikation eines Spezialisierten Hochperformanten RISC-Vs für eine Hochtemperaturumgebung