Sugerir uma correção · Hardware-Decompilation-FSM-Checking