Keep the valid signal from the formal engine ALU stable, until read