ID:20018 Device family <name> is not supported by the EDA formal verification tool <name> in combination with the selected synthesis tool

CAUSE: The specified device family is currently not supported by the combination of the selected EDA formal verification tool and the selected synthesis tool.

ACTION: Select a supported combination of both the tools, and then compile the design again.