ID:12138 Automatically preserved entity "<name>" for formal verification

CAUSE: You compiled a design that contains the specified entity. The Quartus Prime software automatically preserved the entity for formal verification by an EDA formal verification tool.

ACTION: If you are compiling the design for formal verification, no action is required. Otherwise, specify that you are not performing formal verification for a design.