List of Messages |
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.
Copyright© 2015 Altera Corporation. All rights reserved. ALTERA, ARRIA, CYCLONE, HARDCOPY, MAX, MEGACORE, NIOS, QUARTUS, STRATIX, and all other brands, unless noted otherwise, and/or trademarks of Altera Corporation in the U.S. and other countries.