CAUSE: | You specified a formal verification tool for the current project and compiled the design, but the specified black-box entity in the design does not have the Preserve Hierarchical Boundary set to Firm. To perform formal verification with other EDA tools, the Preserve Hierarchical Boundary option must be set to Firm for all black-box entities in the design. |
ACTION: | Set the Preserve Hierarchical Boundary option to Firm and recompile the design. |
See also:
Overview: Making Assignments
Overview: Using the Quartus II Software with Other EDA Tools
Specifying EDA Tool Settings
- PLDWorld - |
|
Created by chm2web html help conversion utility. |