| CAUSE: | You specified a formal verification tool for the current project and compiled the design, but the specified black-box entity in the design has the Preserve Hierarchical Boundary is set to Relaxed, but it must be 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. |