ID:199045 Can't generate formal verification files -- top-level design entity is a black-box.

CAUSE: You specified an EDA formal verification tool for the current project, and either compiled the project or ran the EDA Netlist Writer. However, the top-level design entity is a black-box that cannot be used with an EDA formal verification tool. This error can occur if the top-level design entity is a Block Design File (.bdf) or is a black-box entity and design partitions are not created.

ACTION: Make sure that you create the design partitions for your design and make sure that the top-level design entity is not a Block Design File.