Korrektur vorschlagen · Hardware-Decompilation-FSM-Checking