Internal Error: Sub-system: QHD, File: /quartus/h/qhd_state_details_sys.h, Line: 65 Model 'netlist' does not exist

Description

Due to a problem with the  Intel® Quartus® Prime Pro Edition Software version 21.4, you may see this error when ENABLE_FORMAL_VERIFICATION is set to ON and there are underlying compilation errors in the design.

Resolution

To work around this problem

1. Change the ENABLE_FORMAL_VERIFICATION  QSF assignment to OFF
2. Recompile the project to see the underlying errors
3. Address the errors before setting ENABLE_FORMAL_VERIFICATION back ON

This problem is fixed beginning with version 22.1 of the Intel® Quartus® Prime Pro Edition Software.