Internal Error: Sub-system: WSC, File: /quartus/neto/wsc/wsc_hierarchy_info.cpp, Line: 3276

Description

Due to a problem in the Quartus® Prime Pro Edition Software version 24.2 and earlier, you might see this internal error at the Analysis & Synthesis stage when the ENABLE_FORMAL_VERIFICATION assignment setting is set to ON. 

Resolution

To workaround this problem, set the ENABLE_FORMAL_VERIFICATION assignment setting in your Quartus Settings File (.qsf) to OFF:

set_global_assignment -name ENABLE_FORMAL_VERIFICATION OFF

This problem is fixed starting with the Quartus® Prime Pro Edition Software version 24.3.